Changes between Initial Version and Version 1 of Ticket #27508, comment 23
 Timestamp:
 03/24/19 20:53:38 (2 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #27508, comment 23
initial v1 18 18 It'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) 19 19 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" orderingin libsingular.20 So 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. 21 21 22 We should probably be using examples where "lex" and "degrevlex" give different normal forms (and hopefully also different tai reduction results). I'm pretty sure the real problem is *not* in `order_dict`.22 We 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`.