Project

General

Profile

Design #1735

Updated by Anna Maria Bigatti 2 months ago

Currently @PushFront@ and @PushBack@ check their args (correct coeffring, correct ppmonoid).
Should there also be unsafe non-checking versions? I think it may make the fn faster.

*2024* Conclusion: if you don't want the checks, call the member function. This was a guideline we had many years ago (and the forgot about?).

Back