leadterms

gbvector** MarkedGB::leadterms

protected

Definition at line 28 of file reducedgb-marked.hpp.

Referenced by add_marked_elems(), auto_reduce(), geo_remainder(), get_initial(), get_parallel_lead_terms(), marked_remainder(), remainder(), and ~MarkedGB().