Searched defs:kNF2 (Results 1 – 1 of 1) sorted by relevance
3701 poly kNF2 (ideal F,ideal Q,poly q,kStrategy strat, int lazyReduce) in kNF2() function3857 ideal kNF2 (ideal F,ideal Q,ideal q,kStrategy strat, int lazyReduce) in kNF2() function