Re: [sage-support] groebner basis algorithm: intended way of calling (out of other method)

2019-02-20 Thread Daniel Krenn
On 2019-02-08 10:07, Daniel Krenn wrote:
> Let I be an ideal. Then I might want to compute something involving
> Groebner basis, e.g. computing I.variety().
> Now suppose one wants to select a particular algorithm for the
> computation of the Groebner basis. Then (due to caching) I use something
> along the lines of
> 
>   GB = I.groebner_basis(algorithm='libsingular:slimgb')
>   I.groebner_basis.set_cache(GB)
>   I.variety()
> 
> Is this the intended way of doing so?
> 
> (It somehow feels wrong that one needs quite some background on the
> implementation and technical understanding (caching in SageMath) to
> understand the behavior.)

This is now
  https://trac.sagemath.org/ticket/27328
which proposes to use what is cached if no algorithm is given. Needs review.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] groebner basis algorithm: intended way of calling (out of other method)

2019-02-08 Thread Daniel Krenn
Let I be an ideal. Then I might want to compute something involving
Groebner basis, e.g. computing I.variety().
Now suppose one wants to select a particular algorithm for the
computation of the Groebner basis. Then (due to caching) I use something
along the lines of

  GB = I.groebner_basis(algorithm='libsingular:slimgb')
  I.groebner_basis.set_cache(GB)
  I.variety()

Is this the intended way of doing so?

(It somehow feels wrong that one needs quite some background on the
implementation and technical understanding (caching in SageMath) to
understand the behavior.)

Details: A method using a Groebner basis calls self.groebner_basis(),
i.e. uses default arguments or whatever is cached.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.