oldk1331 wrote:
>
> I have change the 2nd patch to use 4 space indentation:
> https://github.com/oldk1332/fricas/commit/7dc4dfd870a451698f7ca0385ac0625e65dfd5ae.patch
>
> Also, the result of "B : UP(x, POLY INT):= x^4 + p * x^2 + q*x + r
> SturmHabichtSequence (B, D B)" is too long, so I didn't make it
> into a test file, so make it into a normal input file?
This patch looks fishy. IIUC Sturm sequence is essentially
consists of two parts: purely algebraic computation and
determination of signs. So it make sense to expose
computational part also for unordered rings. However,
machinations with sign of leading coefficient look strange.
Also, ToolsForSign realy is rather weak and I would
avoid it if possible.
I admit that my first thought is to seek reformulation
of Sturm seqences so that computational part is
clearly separated from determination of signs.
Also, in analogy with other domains we could pass sign
determining function as a parameter. But ATM it is
not clear what is most convenient formulation.
I think that this more thought.
--
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.
