Definition at line 128 of file franzi-gb.cpp.
129 {
132
133 IntermediateBasis::const_iterator
end = F.end();
134 if (F.find(j) ==
end || (i >= 0 && F.find(i) ==
end))
135 {
137 }
138 else
139 {
141 if (i < 0)
142 {
143
146 }
147 else
148 {
149 g = &F.find(i)->second;
150 }
151 f = &F.find(j)->second;
152 }
153 }
TermIterator< Nterm > end(Nterm *)
References end(), f, fieldpolynomial, g, and good.