MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Re: Re: Re: Re: How to get an answer as a Root object?


On 22 May 2005, at 13:14, Daniel Lichtblau wrote:

> The variable ordering underlying method 2 is undocumented but hardly
> accidental. While the literature on handling (nonpolynomial)  
> algebraics
> is, I think, a bit scant, there is some folklore to this, and the
> cognoscenti would not regard that approach as a hack. In essence
> approach (3) is equivalent to approach (2), with (for purposes of this
> problem) a small improvement. In making new variables "by hand" we can
> force the ordering. This is advantageous insofar as we can eliminate
> numeric algebraics as well as the other ones. I may at some point  
> try to
> remedy the obscurity of Mathematica GroebnerBasis handling of  
> algebraics
> by adding a remark to the appropriate advanced documentation.
>

I did not mean to suggest that this behaviur was accidental and I  
realised that it was essentially equivalent to method 3. I used the  
word "hack" in a sense that I once learned on this list form David  
Withoff (who used it once to refer to something in my posting), by  
which I think he meant something relying on undocumented features  
that may equally well not have been there (and may not be there in a  
future implementation). Obviously this feature is undocumented. That  
it "might not have been there"  seems to me to be sufficiently  
demonstrated by the fact that none of the two other programs that  
compute Groebner bases that I have checked do that(or at least not  
when one uses the command "Groebner basis). If not exactly a hack  
then at least this involves some abuse of nomenclature.

Andrzej Kozlowski


  • Prev by Date: runs test once more
  • Next by Date: Re: Re: Bode Plots in Mathematica
  • Previous by thread: Re: Re: Re: Re: How to get an answer as a Root object?
  • Next by thread: Re: How to get an answer as a Root object?