Definition at line 750 of file gbring.cpp.
751{
752
753
754
755
756 if (f ==
nullptr || f->
next ==
nullptr)
return;
757 gbvector *f1 = nullptr;
758 gbvector *f2 = nullptr;
759 while (f != nullptr)
760 {
761 gbvector *t = f;
764 f1 = t;
765
766 if (f == nullptr) break;
767 t = f;
770 f2 = t;
771 }
772
776 f = f1;
777}
void gbvector_add_to(const FreeModule *F, gbvector *&f, gbvector *&g)
void gbvector_sort(const FreeModule *F, gbvector *&f)
References gbvector_add_to(), gbvector_sort(), and gbvector::next.
Referenced by gbvector_sort().