Documentation

findOverlap :: Eq v => Monomial v -> Monomial v -> Maybe (Monomial v, Monomial v, Monomial v) Source

sPoly :: (Show v, Ord v, Num t, Eq t) => NPoly t v -> NPoly t v -> NPoly t v Source

gb1 :: (Show v, Ord v, Fractional r, Eq r) => [NPoly r v] -> [NPoly r v] Source

reduce :: (Show v, Ord v, Ord r, Fractional r) => [NPoly r v] -> [NPoly r v] Source

gb :: (Show v, Ord v, Ord r, Fractional r) => [NPoly r v] -> [NPoly r v] Source

gb' :: (Show v, Ord v, Ord r, Fractional r) => [NPoly r v] -> [NPoly r v] Source

gb2 :: (Show v, Ord v, Fractional r, Eq r) => [NPoly r v] -> [NPoly r v] Source

gb2' :: (Show v, Ord v, Fractional t, Eq t) => [NPoly t v] -> [(NPoly t v, NPoly t v, NPoly t v, NPoly t v)] Source

mbasisQA :: (Show v, Ord v, Fractional r, Eq r) => [NPoly r v] -> [NPoly r v] -> [NPoly r v] Source