Dear all : I am learning error correction code and I am using GAP as my CAS.
But today when I want some help on using GroebnerBasis command of GAP, I find the following statement : =========================================================== Note that GAP at the moment only includes a naïve implementation of Buchberger's algorithm (which is mainly intended as a teaching tool). It might not be sufficient for serious problems. =========================================================== So it this still true for current release of GAP? I am worry about this because I want to use GAP in formal verification of error correction code Thanks Shen _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
