Currently in Expression, there is:
if R has RetractableTo Integer then RetractableTo AlgebraicNumber
I think it can be moved into AlgebraicallyClosedFunctionSpace.
There is only one Domain -- Expression -- exports
AlgebraicallyClosedFunctionSpace, and many packages
are generalized over AlgebraicallyClosedFunctionSpace.
All tests passed.
diff --git a/src/algebra/algfunc.spad b/src/algebra/algfunc.spad
index 36f6a41c..714c8315 100644
--- a/src/algebra/algfunc.spad
+++ b/src/algebra/algfunc.spad
@@ -188,6 +188,7 @@
++ The new symbols are bound in the interpreter
++ to the respective values.
rootSum : (%, SparseUnivariatePolynomial %, Symbol) -> %
+ if R has RetractableTo Integer then RetractableTo AlgebraicNumber
add
import from Integer
diff --git a/src/algebra/expr.spad b/src/algebra/expr.spad
index 1ce306b0..684f6165 100644
--- a/src/algebra/expr.spad
+++ b/src/algebra/expr.spad
@@ -36,7 +36,6 @@
++ simplifyPower(f, n) \undocumented{}
if R has PolynomialFactorizationExplicit then
PolynomialFactorizationExplicit
- if R has RetractableTo Integer then RetractableTo AN
setSimplifyDenomsFlag : Boolean -> Boolean
++ setSimplifyDenomsFlag(x) sets flag affecting simplification
++ of denominators. If true irrational algebraics are removed from
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
