example: chemkin
description: TITLE : a stationary chemical kinetics problem
REFERENCES :
SC 88-07 Herbert Melenk, H. Michael Moeller, Winfried Neun: Symbolic Solution of Large Stationary Chemical Kinetics Problems. Appeared in: IMPACT Comp. Sci. Eng. 1, p.138-167 (1989)
w = sqrt(2)
system: Polynomial
variables: w > x3 > x4 > y2 > y3 > y4 > y5 > z2 > z3 > z4 > z5
equations: 0 1 2 3 4 5 6 7 8 9 10
length of Janet-like basis: 116
length of Janet basis: 117
length of Gröbner basis 90
Hilbert polynomial: 80
Strategy: degJ highJ lowJ degJL highJL lowJL


examples