Macaulay2 Engine
Loading...
Searching...
No Matches

◆ makeNewPairs()

Pairs makeNewPairs ( int newIndex,
const IntermediateBasis & F,
int n )

Definition at line 185 of file franzi-gb.cpp.

186{
187 Pairs B;
188 Pairs::iterator position = B.begin();
189 for (int i = -n; i < 0; i++)
190 {
191 Pair pair = Pair(i, newIndex, F);
192 position = B.insert(position, pair);
193 }
194 IntermediateBasis::const_iterator end = F.end();
195 end--;
196 for (IntermediateBasis::const_iterator iter = F.begin(); iter != end; ++iter)
197 {
198 int j = iter->first;
199 Pair pair = Pair(newIndex, j, F);
200 if (pair.good)
201 {
202 position = B.insert(position, pair);
203 }
204 }
205 return B;
206}
S-pair record for the Franzi boolean Groebner basis algorithm.
Definition franzi-gb.cpp:25
std::set< Pair > Pairs
TermIterator< Nterm > end(Nterm *)
Definition ringelem.cpp:5

References end().

Referenced by gb().