Lazy reduction
Opened this issue · 0 comments
wbhart commented
Currently p_Reduce for ideals, in libSingular, calls kNF which does a full reduction down to a normal form. Sometimes, the normal form is not required, e.g. if we just want to test if reduction by a GB yields the zero ideal. The kNF function has an option, lazy_reduction, which when set to 1 does a lazy reduction, which is sufficient. The libSingular function should support this.