example: f855
description: ---------------------------------------------------------------------- New format file (see http://posso.lip6.fr/~jcf/input_file.txt)
FGb file format Filter Bank: f855 This system is patented by CCETT (French Telecom) & UNiv. Rennes JC Faugere, F. Moreau de Saint Martin and F. Rouillier ----------------------------------------------------------------------
system: Polynomial
variables: X8 > X7 > X6 > X5 > X4 > X3 > X2 > x8 > x7 > x6 > x5 > x4 > x3 > x2
equations: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
length of Janet-like basis: 261
length of Janet basis: 264
length of Gröbner basis 148
Hilbert polynomial: 52s - 36
Strategy: degJ highJ lowJ degJL highJL lowJL


examples