47 		Field _F;
51 		SmithFormKannanBachemDomain(const Field &F) : _F(F), _MD(_F) {}  in SmithFormKannanBachemDomain()
52 		SmithFormKannanBachemDomain(const SmithFormKannanBachemDomain &D) : _F(D._F), _MD(D._MD) {}  in SmithFormKannanBachemDomain()
60 					_F.write(std::cout, M.getEntry(i, j)) << std::endl;  in printMatrix()
83 			if (_F.isDivisor(b, a)) {  in dxgcd()
84 				_F.assign(s, _F.one);  in dxgcd()
85 				_F.assign(t, _F.zero);  in dxgcd()
86 				_F.assign(u, _F.one);  in dxgcd()
87 				_F.div(v, b, a);  in dxgcd()
93             _F.gcd(g,s,t,a,b);  in dxgcd()
94             _F.div(u,a,g);  in dxgcd()
95             _F.div(v,b,g);  in dxgcd()
102 					if (_F.isZero(A.getEntry(i, j))) {  in findPivot()
127 			if (_F.isZero(other)) {  in eliminateRow1()
135 			_F.negin(v);  in eliminateRow1()
159 				A.setEntry(0, i, _F.zero);  in zeroRow()
169 			if (_F.isZero(other)) {  in eliminateCol1()
177 			_F.negin(v);  in eliminateCol1()
201 				if (!_F.isZero(A.getEntry(i, 0))) {  in isDiagonalized()
207 				if (!_F.isZero(A.getEntry(0, i))) {  in isDiagonalized()
218 			for (size_t i = 0; i < v.size() - 1 && !_F.isZero(v[i+1]); i++) {  in fixDiagonalHelper()
219 				if (_F.isOne(v[i]) || _F.areEqual(v[i], v[i+1])) {  in fixDiagonalHelper()
224 				_F.gcd(g, v[i], v[i+1]);  in fixDiagonalHelper()
226 				if (_F.areEqual(g, v[i])) {  in fixDiagonalHelper()
231 				_F.div(q, v[i], g);  in fixDiagonalHelper()
233 				_F.assign(v[i], g);  in fixDiagonalHelper()
234 				_F.mulin(v[i+1], q);  in fixDiagonalHelper()
248 				_F.remin(v[i], det);  in fixDiagonal()
261 				if (_F.isZero(other)) {  in reduceOffDiagonal()
266 				_F.div(q, other, pivot);  in reduceOffDiagonal()
268 				if (_F.isZero(q)) {  in reduceOffDiagonal()
272 				_F.negin(q);  in reduceOffDiagonal()
306 					L.push_back(_F.zero);  in solveHelper()
330 					L.push_back(_F.zero);  in solveTextBookHelper()
337 				if (_F.isUnit(A.getEntry(0, 0))) {  in solveTextBookHelper()
356 					_F.modin(tmp, d);  in reduceMatrix()
371 					L.push_back(_F.zero);  in solveIliopoulosHelper()