Compared with previous thread, I've rebased and added a few new fixes. https://github.com/oldk1331/fricas/commit/827b326b44b6dd736e56051ec073b7d123d9c836.patch
typo fixes. https://github.com/oldk1331/fricas/commit/4154e620f7d2cded77df760ed037be802bec718f.patch documentation fixes. diff --git a/src/algebra/polycat.spad b/src/algebra/polycat.spad index fa9d7e4..d778a1d 100644 --- a/src/algebra/polycat.spad +++ b/src/algebra/polycat.spad @@ -837,7 +837,7 @@ UnivariatePolynomialCategory(R : Join(SemiRng, AbelianMonoid)) : Category == ++ \spad{p' := p*lc(q)^(deg p - deg q + 1)} ++ is pseudo right-divided by q, i.e. \spad{p' = s q + r}. pseudoDivide : (%, %) -> Record(coef : R, quotient : %, remainder : %) - ++ pseudoDivide(p, q) returns \spad{[c, q, r]}, when + ++ pseudoDivide(p, q) returns \spad{[s, q, r]}, when ++ \spad{p' := p*lc(q)^(deg p - deg q + 1) = c * p} ++ is pseudo right-divided by q, i.e. \spad{p' = s q + r}. if R has GcdDomain then diff --git a/src/algebra/prs.spad b/src/algebra/prs.spad index 3e43152..ed0b6ff 100644 --- a/src/algebra/prs.spad +++ b/src/algebra/prs.spad @@ -128,8 +128,8 @@ PseudoRemainderSequence(R, polR) : Specification == Implementation where ++ of the subresultant \spad{S_i(P, Q)} is as small as possible. discriminant : polR -> R - ++ \spad{discriminant(P, Q)} returns the discriminant - ++ of \spad{P} and \spad{Q}. + ++ \spad{discriminant(P)} returns the discriminant + ++ of \spad{P} discriminantEuclidean : polR -> Record(coef1 : polR, coef2 : polR, discriminant : R) https://github.com/oldk1331/fricas/commit/3bc94c78efe73c31dc6b5d690f8f88789bc9a7cd.patch space fixes. https://github.com/oldk1331/fricas/commit/3e33f78bfe216a9bb4f59a1fd31ca3945b6c00ad.patch misc changes. -- 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.