This fixes the interface.
https://github.com/hemmecke/fricas/commit/8ada166705d33ab11620f66c54ba0782cb5e92c5.patch
Note that in this patch I made axextend.as again identical to what is in
the original Aldor source tree (modulo redundant whitespace).
When I initially wrote the Makefile.in, I wante
> In fact, if you do "grep '^<<' *spad", there's not much
> markup left, most are meaningless, except for tensor.spad.
expps.spad: Should be decided by the author Franz Lehner.
hashstate.spad: The use of <<...>> is unimportant and can be modified,
i.e. rewritten in pure LaTeX.
pinterp.spad: Un
oldk1331 wrote:
>
> ")dis op gcdPolynomial" returns (SUP D, SUP D) -> SUP D
> for D has GCDDOM and D has PFECAT, but
> "PFECAT has GCDDOM", so the signature is duplicated.
>
> In catdef.spad, no need to export gcdPolynomial for PFECAT
> again.
Well, currently PFECAT implies UniqueFactorizationDo
In UnivariatePolynomialCategory:
if R has CommutativeRing then
discriminant : % -> R
resultant : (%, %) -> R
However, in SparseUnivariatePolynomial:
if R has IntegralDomain then
discriminant(p) == discriminant(p)$PseudoRemainderSequence(R, %)
resultant(p1, p2) == r
There may be a better change:
It's a little strage for a domain D that has GCDDOM to have
export: gcdPolynomial : (SUP D, SUP D) -> SUP D
One issue is that we have polynomial representations other
than SUP.
Another finding is, there's a gcdPolynomial implementation
in UnivariatePolynomialCategor
