Searched refs:reduced_with_this_row (Results 1 – 2 of 2) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/groebner/src/ |
| H A D | FGLMStrategy.cc | 671 const int reduced_with_this_row=rowStartingWithIndex[from_idx]; in main() local
672 PBORI_ASSERT(reduced_with_this_row>=0); in main()
673 mzd_row_clear_offset(w, reduced_with_this_row,0); in main()
674 mzd_write_bit(w, reduced_with_this_row, from_idx,1); in main()
675 mzd_write_bit(w, reduced_with_this_row, varietySize+d,1); in main()
676 rowIsStandardMonomialToWithIndex[reduced_with_this_row]=d; in main()
|
| /dports/math/brial/BRiAl-1.2.10/groebner/src/ |
| H A D | FGLMStrategy.cc | 671 const int reduced_with_this_row=rowStartingWithIndex[from_idx]; in main() local
672 PBORI_ASSERT(reduced_with_this_row>=0); in main()
673 mzd_row_clear_offset(w, reduced_with_this_row,0); in main()
674 mzd_write_bit(w, reduced_with_this_row, from_idx,1); in main()
675 mzd_write_bit(w, reduced_with_this_row, varietySize+d,1); in main()
676 rowIsStandardMonomialToWithIndex[reduced_with_this_row]=d; in main()
|