oldk1331 wrote:
>
> Oh, that makes sense. Then I'll rename *_naif to *
> and put them under 'if R has Finite and R has Field'?
OK.
> > IIUC SUP uses pseudoDivide from polycat.spad. The
> > one in prs.spad looks more efficient.
>
> I noticed that too, so should we implement pseudoDivide
> and pseudoQuotient alongside with pseudoRemainder
> in poly.spad? (PRS is not the right place for pseudoDivide)
Well, there are various opinions what is the right place.
If code is generic we want it available as category default.
But putting all code in category defaults makes them large
and hard to maintain. So there is tendency to put real
code in packages and call it from category defaults.
>From this point of PRS is not a bad place.
> > This one produces some weird error for me.
>
> Which error? The implementation of Lazard* is exactly the same
> between prs.spad and newpoly.spad.
I get:
Daly Bug
>> System error:
The value 6 is not of type CONS.
when executing 'zeroSetSplit(lp)$T;' in marcbench.input.
Looks like miscompilation.
--
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.
