CoW

 

Das CoW Paket implementiert die Berechnung des umfassenden Gewichtzählers wie in arXiv:1202.3625 beschrieben. Es erfordert Maple 11 oder später. Manche Berechnungen erfordern auch das AlgebraicThomas Paket. Bei Fragen oder Problemen kontaktieren Sie bitte Thomas Bächler.

Dieses Paket ist experimentell und der Algorithmus hat noch Luft für Verbesserungen. Es wurde überwiegend für Code mit kleiner Dimension und Länge getestet. Dieses Problem betrifft vor allem den satsets Befehl, Sättigungen individueller Mengen können mit dem saturate Befehl auch für langen Code einfach berechnet werden.