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.