https://github.com/oldk1331/fricas/commit/b38ec5129307cd3b0902ee127eba121319d99865.patch
diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad
index 8ce62a0b..40e4094c 100644
--- a/src/algebra/fr.spad
+++ b/src/algebra/fr.spad
@@ -165,7 +165,6 @@
comparableR? := R has Comparable
-- Private function signatures:
- qexpand : % -> R
SimplifyFactorization : List FF -> List FF
LispLessP : (FF, FF) -> Boolean
mkFF : (R, List FF) -> %
@@ -192,7 +191,7 @@
i : Integer * u : % == (i :: %) * u
r : R * u : % == (r :: %) * u
factors u == [[fe.factor, fe.exponent] for fe in factorList u]
- expand u == retract u
+ expand u == unit u * _*/[y.factor ^ y.exponent for y in factorList u]
makeFR(u, l) ==
-- normalizing code to be installed when contents are handled better
@@ -306,15 +305,8 @@
1 = unit x => e
(unit x)::OutputForm * e
- retract(u : %) : R ==
- qexpand u
-
- qexpand u ==
- unit u *
- _*/[y.factor ^ y.exponent for y in factorList u]
-
- retractIfCan(u:%):Union(R, "failed") ==
- qexpand u
+ retract(u : %) : R == expand u
+ retractIfCan(u : %) : Union(R, "failed") == expand(u)
LispLessP(y, y1) ==
orderedR? => y.factor < y1.factor
--
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.
