https://github.com/oldk1331/fricas/commit/6868fb220c9dbd760348f4271945d2642d2f265f.patch
After previous change, the 'reciprocal' is not needed.
diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad
index 4569e31e..349ab6e3 100644
--- a/src/algebra/fr.spad
+++ b/src/algebra/fr.spad
@@ -157,7 +157,6 @@
comparableR? := R has Comparable
-- Private function signatures:
- reciprocal : % -> %
qexpand : % -> R
negexp? : % -> Boolean
SimplifyFactorization : List FF -> List FF
@@ -342,10 +341,6 @@
(r := recip unit u) case "failed" => "failed"
mkFF(r::R, empty())
- reciprocal u ==
- mkFF((recip unit u)::R,
- [[y.flag, y.factor, - y.exponent]$FF for y in
factorList u])
-
flagFactor(r, i, fl) ==
zero? i => 1
zero? r => 0
@@ -409,8 +404,8 @@
u + v ==
zero? u => v
zero? v => u
- v1 := reciprocal(u1 := gcd(u, v))
- (expand(u * v1) + expand(v * v1)) * u1
+ u1 := gcd(u, v)
+ (expand((u exquo u1)::%) + expand((v exquo u1)::%)) * u1
gcd(u, v) ==
(u = 1) or (v = 1) => 1
--
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.
