libsingular interface is a mess, cf e.g.
https://trac.sagemath.org/ticket/27508

On Sun, 16 Jun 2019 12:54 Markus Wageringel, <markus.wagerin...@gmail.com>
wrote:

> If I understand the documentation correctly, both cases should call the
> same Singular function (`groebner` in this case), with the only difference
> that one is called through the C interface and the other via the Pexpect
> interface. When I enable the protocol by passing `prot=True`, I get the
> exact same output, except that one prints faster than the other, which
> suggests that in both cases the same computation is run by Singular.
>
> Actually, I was planning to add an option to Sage for calling the Singular
> function `modStd` for the modular approach you mention, when I found this
> speed difference. None of the current options in Sage seem to allow to make
> use of modular computations, except when using Giac.
>
>
> Am Samstag, 15. Juni 2019 21:34:03 UTC+2 schrieb Bill Hart:
>>
>> I would guess that `libsingular' is the C++ kernel of Singular which does
>> not implement all strategies for GB's over Q. There are additional
>> strategies implemented both in Singular library code and in the Singular
>> interpreter. Presumably the `singular' interface is using the interpreter,
>> if not a Singular library, which makes use of more advanced strategies. In
>> particular there is a library for a modular approach.
>>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/9c034d11-15e0-4ae1-a689-751e039285be%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/9c034d11-15e0-4ae1-a689-751e039285be%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq0cxEmLVb79cfx7u7_MGCLKKc7SX%3DDJ1mm2Aev23O1aKg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to