Changes between Initial Version and Version 1 of Ticket #577, comment 3


Ignore:
Timestamp:
Feb 26, 2014, 4:02:05 AM (9 years ago)
Author:
Oleksandr
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #577, comment 3

    initial v1  
    11i support Daniel: in this case: x>Dx>1 and thus the ordering is global.
    22
    3 also:
    43> Therefore all orderings which include a(1,0) are non-global.
    54lexicographical ordering lp(2) can be encoded as (a(1,0), a(0,1)), and it is clearly global... right?!
    65
     6btw, i get:
     7{{{
     8>  std(ideal(x,Dx));    // not reduced
     9// ** Sorry, non-commutative mora is not yet implemented!
     10// ***dError: assume violation at ../../kernel/gr_kstd2.cc:1076 condition: currRing->OrdSgn != -1
     11_[1]=Dx
     12_[2]=1
     13}}}
    714
     15i guess we should correct {{{currRing->OrdSgn}}} to be 1 in such a case...