Below is a patch...
diff --git a/src/algebra/pscat.spad b/src/algebra/pscat.spad
index 01ffdb1c..ca7dc970 100644
--- a/src/algebra/pscat.spad
+++ b/src/algebra/pscat.spad
@@ -197,6 +197,7 @@ UnivariateTaylorSeriesCategory(Coef) : Category ==
Definition where
++ When the coefficient ring is a field, we may raise a series
++ to an exponent from the coefficient ring provided that the
++ constant coefficient of the series is 1.
+ EuclideanDomain
if Coef has Algebra Fraction Integer then
integrate : % -> %
@@ -287,6 +288,21 @@ UnivariateTaylorSeriesCategory(Coef) : Category ==
Definition where
if Coef has Field then
(x : %) ^ (r : Coef) == series power(r, coefficients x)$STTA
+ euclideanSize f == order f
+
+ divide(f, g) ==
+ k := order g
+ if zero? k then
+ g1 := recip g
+ g1 case "failed" => error "this should not happen"
+ return [f*g1, 0]
+
+ r := truncate(f, (k-1)::NNI)
+ f1 := f - r
+ q := f1 exquo g
+ q case "failed" => error "this should not happen"
+ [q, r]
+
if Coef has Algebra Fraction Integer then
if Coef has CommutativeRing then
(x : %) ^ (y : %) == series(coefficients x ^$STTF coefficients
y)
--
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].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ed1365f7-a562-4269-a287-9bcd89a81e50%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
