Changes between Initial Version and Version 1 of Ticket #27508, comment 23


Ignore:
Timestamp:
03/24/19 20:53:38 (2 years ago)
Author:
nbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27508, comment 23

    initial v1  
    1818It's a little strange that `lp` is also accepted as ordering, since that is not a value that Sage really knows how to work with otherwise. That explicitly coded, however: [https://github.com/sagemath/sage/blob/9db4320e485ed0aeae56d2c9dfc91fabe14659b1/src/sage/rings/polynomial/term_order.py#L730  if name not in print_name_mapping.keys() and name not in singular_name_mapping.values()] (that's why "baz" is not accepted as a term order and "lp" is)
    1919
    20 So the way I read the code is that the currently proposed modification maps both degrevlex and lex (and also "lp") to the "dp" ordering in libsingular.
     20So the way I read the code is that the currently proposed modification maps both degrevlex and lex (and also "lp") to `ringorder_dp` in libsingular.
    2121
    22 We should probably be using examples where "lex" and "degrevlex" give different normal forms (and hopefully also different taireduction results). I'm pretty sure the real problem is *not* in `order_dict`.
     22We should probably be using examples where "lex" and "degrevlex" give different normal forms (and hopefully also different tailreduction results). I'm pretty sure the real problem is *not* in `order_dict`.