-- * max elimination

splitMax :: (Ord v, IsNat c, SemiRing c) =>  MaxPoly v c -> [P.Polynomial v c]
splitMax (Var v)    = [P.variable v]
splitMax :: (Ord v, IsNat c, SemiRing c) =>  MaxPoly v c -> [P.Polynomial v c]
splitMax (Var v)    = [P.variable v]
splitMax (Var v)    = [P.variable v]