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 UniqueFactorizationDomain.
However, it makes sense to weaken this requiremet, probably
to IntegralDomain. Such weakening is needed to properly
propagate PFECAT trough type towers (currently it does
not propagate trough algebraic extensions). After generalization
there will be no duplication.
Also, this duplication is only at source level, category
inheritance works in such way that we get a single signature
in the binary representation. Given that 'gcdPolynomial'
is part of PFECAT I think that current duplication
is appropriate.
--
Waldek Hebisch
--
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].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
