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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to