Services & ResourcesWolfram ForumsMathGroup Archive

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

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

• To: mathgroup at smc.vnet.net
• Subject: [mg57266] Re: [mg57256] Re: [mg57224] Re: [mg57198] Re: [mg57156] Re: [mg57137] How to get an answer as a Root object?
• From: Andrzej Kozlowski <akozlowski at gmail.com>
• Date: Mon, 23 May 2005 02:20:35 -0400 (EDT)
• References: <200505170520.BAA25934@smc.vnet.net> <200505190708.DAA13114@smc.vnet.net> <acbec1a405051916553ad63c12@mail.gmail.com> <200505200843.EAA00645@smc.vnet.net> <8a391a1d99566d06d1861364e4190b82@mimuw.edu.pl> <200505210639.CAA16363@smc.vnet.net> <200505220414.AAA17630@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

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

• References:
  • How to get an answer as a Root object?
    • From: "David W. Cantrell" <DWCantrell@sigmaxi.org>
  • Re: How to get an answer as a Root object?
    • From: Daniel Lichtblau <danl@wolfram.com>
  • Re: Re: How to get an answer as a Root object?
    • From: Daniel Lichtblau <danl@wolfram.com>
  • Re: Re: Re: How to get an answer as a Root object?
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
  • Re: Re: Re: Re: How to get an answer as a Root object?
    • From: Daniel Lichtblau <danl@wolfram.com>