sage.rings.infinity: Remove hard dependency on real_lazy and real_mpfi
Closed this issue · 11 comments
mkoeppe commented
This is for sagemath-polyhedra (#32432).
CC: @dimpase
Component: refactoring
Author: Matthias Koeppe
Branch/Commit: fb9faa6
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/32778
mkoeppe commented
mkoeppe commented
Description changed:
---
+++
@@ -1 +1 @@
-
+This is for **sagemath-polyhedra** (#32432).mkoeppe commented
New commits:
afe634c | sage.rings.infinity: Remove hard dependency on real_lazy and real_mpfi |
sagetrac-git commented
Branch pushed to git repo; I updated commit sha1. New commits:
fb9faa6 | src/sage/rings/infinity.py: Fix up: Only call .parent() on elements |
sagetrac-git commented
mkoeppe commented
comment:7
one green patchbot, one patchbot that was not feeling well
ready for review
dimpase commented
Reviewer: Dima Pasechnik
dimpase commented
comment:9
lgtm
mkoeppe commented
comment:10
Thank you!
vbraun commented
Changed branch from u/mkoeppe/sage_rings_infinity__remove_hard_dependency_on_real_lazy to fb9faa6