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

◆ makeList()

Pairs makeList ( const IntermediateBasis & F,
int n )

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

160{
161 Pairs B;
162 Pairs::iterator position = B.begin();
163 IntermediateBasis::const_iterator end = F.end();
164 for (IntermediateBasis::const_iterator iter = F.begin(); iter != end; ++iter)
165 {
166 int j = iter->first;
167 for (int i = -n; i < 0; i++)
168 {
169 Pair pair = Pair(i, j, F);
170 position = B.insert(position, pair);
171 }
172 for (int i = 0; i < j; i++)
173 {
174 Pair pair = Pair(i, j, F);
175 if (pair.good)
176 {
177 position = B.insert(position, pair);
178 }
179 }
180 }
181 return B;
182}
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().