Index
| !! | Algebra.Prelude.Core |
| !* | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| $ | Algebra.Prelude.Core |
| $! | Algebra.Prelude.Core |
| $* | Algebra.Prelude.Core |
| % | Algebra.Prelude.Core |
| %* | Algebra.Prelude.Core |
| %+ | Algebra.Prelude.Core |
| %- | Algebra.Prelude.Core |
| %-. | Algebra.Prelude.Core |
| %<=? | Algebra.Prelude.Core |
| %<? | Algebra.Prelude.Core |
| %>=? | Algebra.Prelude.Core |
| %>? | Algebra.Prelude.Core |
| %^ | Algebra.Prelude.Core |
| && | Algebra.Prelude.Core |
| &&& | Algebra.Prelude.Core |
| * | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Function) | Algebra.Prelude.Core |
| ** | Algebra.Prelude.Core |
| *** | Algebra.Prelude.Core |
| *. | Algebra.Prelude.Core |
| *< | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| *> | Algebra.Prelude.Core |
| *|< | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| + | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Function) | Algebra.Prelude.Core |
| ++ | Algebra.Prelude.Core |
| - | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Function) | Algebra.Prelude.Core |
| -. | Algebra.Prelude.Core |
| . | Algebra.Prelude.Core |
| .* | Algebra.Prelude.Core |
| .*. | Algebra.Prelude.Core |
| / | Algebra.Prelude.Core |
| /= | Algebra.Prelude.Core |
| :< | Algebra.Prelude.Core |
| :> | Algebra.Prelude.Core |
| :~: | Algebra.Prelude.Core |
| < | |
| 1 (Function) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| <$ | Algebra.Prelude.Core |
| <$!> | Algebra.Prelude.Core |
| <$> | Algebra.Prelude.Core |
| <* | Algebra.Prelude.Core |
| <*> | Algebra.Prelude.Core |
| <.> | Algebra.Prelude.Core |
| </> | Algebra.Prelude.Core |
| <= | |
| 1 (Function) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| <=< | Algebra.Prelude.Core |
| <=? | Algebra.Prelude.Core |
| <> | Algebra.Prelude.Core |
| <? | Algebra.Prelude.Core |
| <|> | Algebra.Prelude.Core |
| =<< | Algebra.Prelude.Core |
| == | Algebra.Prelude.Core |
| === | |
| 1 (Function) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| =~= | Algebra.Prelude.Core |
| > | |
| 1 (Function) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| >* | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| >= | |
| 1 (Function) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| >=> | Algebra.Prelude.Core |
| >=? | Algebra.Prelude.Core |
| >> | Algebra.Prelude.Core |
| >>= | Algebra.Prelude.Core |
| >? | Algebra.Prelude.Core |
| >|* | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| @+ | Algebra.Prelude.Core |
| Abelian | Algebra.Prelude.Core |
| abs | Algebra.Prelude.Core |
| absurdOrd | Algebra.Prelude.Core |
| acos | Algebra.Prelude.Core |
| acosh | Algebra.Prelude.Core |
| Add | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| Additive | Algebra.Prelude.Core |
| AdditiveOrder | Algebra.Prelude.Core |
| addRep | Algebra.Prelude.Core |
| addToIdeal | Algebra.Prelude.Core |
| adjoint | Algebra.Prelude.Core |
| Algebra | Algebra.Prelude.Core |
| all | Algebra.Prelude.Core |
| allVars | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| alreadyExistsErrorType | Algebra.Prelude.Core |
| alreadyInUseErrorType | Algebra.Prelude.Core |
| and | Algebra.Prelude.Core |
| annotateIOError | Algebra.Prelude.Core |
| antipode | Algebra.Prelude.Core |
| antipodeM | Algebra.Prelude.Core |
| any | Algebra.Prelude.Core |
| ap | Algebra.Prelude.Core |
| appendFile | Algebra.Prelude.Core |
| appendIdeal | Algebra.Prelude.Core |
| Applicative | Algebra.Prelude.Core |
| Arity | Algebra.Prelude.Core, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Ring.Polynomial |
| arity | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| asin | Algebra.Prelude.Core |
| asinh | Algebra.Prelude.Core |
| asProxyTypeOf | Algebra.Prelude.Core |
| asTypeOf | Algebra.Prelude.Core |
| asum | Algebra.Prelude.Core |
| atan | Algebra.Prelude.Core |
| atan2 | Algebra.Prelude.Core |
| atanh | Algebra.Prelude.Core |
| Band | Algebra.Prelude.Core |
| because | Algebra.Prelude.Core |
| Bialgebra | Algebra.Prelude.Core |
| Bool | Algebra.Prelude.Core |
| bool | Algebra.Prelude.Core |
| Bounded | Algebra.Prelude.Core |
| break | Algebra.Prelude.Core |
| buchberger | Algebra.Algorithms.Groebner |
| ByteString | Algebra.Prelude.Core |
| calcGroebnerBasis | Algebra.Algorithms.Groebner |
| calcGroebnerBasisWith | Algebra.Algorithms.Groebner |
| calcGroebnerBasisWithStrategy | Algebra.Algorithms.Groebner |
| calcWeight | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| calcWeight' | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| canonicalMap | Algebra.Ring.Polynomial.Labeled |
| canonicalMap' | Algebra.Ring.Polynomial.Labeled |
| castMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| castPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| catchIOError | Algebra.Prelude.Core |
| catMaybes | Algebra.Prelude.Core |
| ceiling | Algebra.Prelude.Core |
| ceilingLogBase2 | Algebra.Prelude.Core |
| changeMonomialOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| changeMonomialOrderProxy | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| changeOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| changeOrderProxy | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| Char | Algebra.Prelude.Core |
| char | Algebra.Prelude.Core |
| Characteristic | Algebra.Prelude.Core |
| charInt | Algebra.Prelude.Core |
| charWord | Algebra.Prelude.Core |
| chineseRemainder | Algebra.Prelude.Core |
| cmpAnyMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| cmpMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| CmpNat | Algebra.Prelude.Core |
| Coalgebra | Algebra.Prelude.Core |
| CocommutativeCoalgebra | Algebra.Prelude.Core |
| coeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| coeff' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Coefficient | Algebra.Prelude.Core, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Ring.Polynomial |
| coeffList | Algebra.Ring.Polynomial.Univariate |
| CoeffRing | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| coerce | Algebra.Prelude.Core |
| coerceLength | Algebra.Prelude.Core |
| coinv | Algebra.Prelude.Core |
| coinvM | Algebra.Prelude.Core |
| Commutative | Algebra.Prelude.Core |
| CommutativeAlgebra | Algebra.Prelude.Core |
| CommutativeBialgebra | Algebra.Prelude.Core |
| compare | Algebra.Prelude.Core |
| comparing | Algebra.Prelude.Core |
| comult | Algebra.Prelude.Core |
| comultM | Algebra.Prelude.Core |
| concat | Algebra.Prelude.Core |
| concatMap | Algebra.Prelude.Core |
| const | Algebra.Prelude.Core |
| constantTerm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| content | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| convertPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| convertPolynomial' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| convolveM | Algebra.Prelude.Core |
| cos | Algebra.Prelude.Core |
| cosh | Algebra.Prelude.Core |
| counit | Algebra.Prelude.Core |
| CounitalCoalgebra | Algebra.Prelude.Core |
| counitM | Algebra.Prelude.Core |
| Covector | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| curry | Algebra.Prelude.Core |
| cutoff | Algebra.Ring.Polynomial.Univariate |
| cycle | Algebra.Prelude.Core |
| DecidableAssociates | Algebra.Prelude.Core |
| DecidableUnits | Algebra.Prelude.Core |
| DecidableZero | Algebra.Prelude.Core |
| decodeFloat | Algebra.Prelude.Core |
| decodeUtf8 | Algebra.Prelude.Core |
| degree | Algebra.Prelude.Core |
| delete | Algebra.Prelude.Core |
| deleteBy | Algebra.Prelude.Core |
| deleteFirstsBy | Algebra.Prelude.Core |
| Demote | Algebra.Prelude.Core, Algebra.Prelude.Core |
| denominator | Algebra.Prelude.Core |
| diff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Dioid | Algebra.Prelude.Core |
| displayException | Algebra.Prelude.Core |
| Div | Algebra.Prelude.Core |
| div | Algebra.Prelude.Core |
| divide | Algebra.Prelude.Core |
| divides | Algebra.Prelude.Core |
| Division | Algebra.Prelude.Core |
| DivisionAlgebra | Algebra.Prelude.Core |
| DivisionRing | Algebra.Prelude.Core |
| divModPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| divModUnipol | Algebra.Ring.Polynomial.Univariate |
| divModUnipolByMult | Algebra.Ring.Polynomial.Univariate |
| divPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| divs | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| doesNotExistErrorType | Algebra.Prelude.Core |
| Domain | Algebra.Prelude.Core |
| Double | Algebra.Prelude.Core |
| Down | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Data Constructor) | Algebra.Prelude.Core |
| drop | Algebra.Prelude.Core |
| dropWhile | Algebra.Prelude.Core |
| dropWhileEnd | Algebra.Prelude.Core |
| egcd | Algebra.Prelude.Core |
| Either | Algebra.Prelude.Core |
| either | Algebra.Prelude.Core |
| elem | Algebra.Prelude.Core |
| elemIndex | Algebra.Prelude.Core |
| elemIndices | Algebra.Prelude.Core |
| eliminatePadding | Algebra.Algorithms.Groebner |
| EliminationOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| eliminationOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| EliminationType | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| empty | Algebra.Prelude.Core |
| encodeFloat | Algebra.Prelude.Core |
| encodeUtf8 | Algebra.Prelude.Core |
| Enum | Algebra.Prelude.Core |
| enumFrom | Algebra.Prelude.Core |
| enumFromThen | Algebra.Prelude.Core |
| enumFromThenTo | Algebra.Prelude.Core |
| enumFromTo | Algebra.Prelude.Core |
| enumOrdinal | Algebra.Prelude.Core |
| eofErrorType | Algebra.Prelude.Core |
| EQ | Algebra.Prelude.Core |
| Eq | Algebra.Prelude.Core |
| Equal | Algebra.Prelude.Core |
| Equality | Algebra.Prelude.Core |
| equating | Algebra.Prelude.Core |
| error | Algebra.Prelude.Core |
| euclid | Algebra.Prelude.Core |
| Euclidean | Algebra.Prelude.Core |
| eval | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| evalUnivariate | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| even | Algebra.Prelude.Core |
| Exception | Algebra.Prelude.Core |
| exp | Algebra.Prelude.Core |
| exponent | Algebra.Prelude.Core |
| Factorable | Algebra.Prelude.Core |
| factorWith | Algebra.Prelude.Core |
| fail | Algebra.Prelude.Core |
| False | Algebra.Prelude.Core |
| Field | Algebra.Prelude.Core |
| FilePath | Algebra.Prelude.Core |
| filter | Algebra.Prelude.Core |
| filterIdeal | Algebra.Prelude.Core |
| filterM | Algebra.Prelude.Core |
| find | Algebra.Prelude.Core |
| findIndex | Algebra.Prelude.Core |
| findIndices | Algebra.Prelude.Core |
| first | Algebra.Prelude.Core |
| flip | Algebra.Prelude.Core |
| FlipOrdering | Algebra.Prelude.Core |
| Flipped | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| Float | Algebra.Prelude.Core |
| floatDigits | Algebra.Prelude.Core |
| Floating | Algebra.Prelude.Core |
| floatRadix | Algebra.Prelude.Core |
| floatRange | Algebra.Prelude.Core |
| floor | Algebra.Prelude.Core |
| fmap | Algebra.Prelude.Core |
| Foldable | Algebra.Prelude.Core |
| foldl | Algebra.Prelude.Core |
| foldl' | Algebra.Prelude.Core |
| foldl1 | Algebra.Prelude.Core |
| foldl1' | Algebra.Prelude.Core |
| foldM | Algebra.Prelude.Core |
| foldMap | Algebra.Prelude.Core |
| foldM_ | Algebra.Prelude.Core |
| foldr | Algebra.Prelude.Core |
| foldr' | Algebra.Prelude.Core |
| foldr1 | Algebra.Prelude.Core |
| for | Algebra.Prelude.Core |
| forever | Algebra.Prelude.Core |
| forM | Algebra.Prelude.Core |
| forM_ | Algebra.Prelude.Core |
| for_ | Algebra.Prelude.Core |
| fpFromText | Algebra.Prelude.Core |
| fpToString | Algebra.Prelude.Core |
| fpToText | Algebra.Prelude.Core |
| Fraction | Algebra.Prelude.Core |
| Fractional | Algebra.Prelude.Core |
| fromEnum | Algebra.Prelude.Core |
| fromException | Algebra.Prelude.Core |
| fromInteger | Algebra.Prelude.Core |
| fromInteger' | Algebra.Prelude.Core |
| fromIntegerRep | Algebra.Prelude.Core |
| fromIntegral | Algebra.Prelude.Core |
| fromLabel | Algebra.Prelude.Core |
| fromList | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| fromMaybe | Algebra.Prelude.Core |
| fromMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| fromNatural | Algebra.Prelude.Core |
| fromNaturalRep | Algebra.Prelude.Core |
| fromOrderedMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| fromRational | Algebra.Prelude.Core |
| fromSing | Algebra.Prelude.Core |
| fromString | Algebra.Prelude.Core |
| fst | Algebra.Prelude.Core |
| fullErrorType | Algebra.Prelude.Core |
| Functor | Algebra.Prelude.Core |
| gBasis' | Algebra.Ring.Polynomial.Quotient |
| gcd | Algebra.Prelude.Core |
| gcd' | Algebra.Prelude.Core |
| GCDDomain | Algebra.Prelude.Core |
| gcdMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| gcdPolynomial | Algebra.Algorithms.Groebner |
| generate | Algebra.Prelude.Core |
| generators | Algebra.Prelude.Core |
| genericDrop | Algebra.Prelude.Core |
| genericIndex | Algebra.Prelude.Core |
| genericLength | Algebra.Prelude.Core |
| genericReplicate | Algebra.Prelude.Core |
| genericSplitAt | Algebra.Prelude.Core |
| genericTake | Algebra.Prelude.Core |
| genQuotVars | Algebra.Ring.Polynomial.Quotient |
| genQuotVars' | Algebra.Ring.Polynomial.Quotient |
| getChar | Algebra.Prelude.Core |
| getContents | Algebra.Prelude.Core |
| getDown | Algebra.Prelude.Core |
| getLine | Algebra.Prelude.Core |
| getMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| getTerms | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| Graded | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| graded | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| GradedStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| Grevlex | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| grevlex | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| GrevlexStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| Grlex | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| grlex | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Group | Algebra.Prelude.Core |
| group | Algebra.Prelude.Core |
| groupBy | Algebra.Prelude.Core |
| GT | Algebra.Prelude.Core |
| guard | Algebra.Prelude.Core |
| hasCommonFactor | Algebra.Algorithms.Groebner |
| hash | Algebra.Prelude.Core |
| Hashable | Algebra.Prelude.Core |
| HashMap | Algebra.Prelude.Core |
| HashSet | Algebra.Prelude.Core |
| hashWithSalt | Algebra.Prelude.Core |
| head | Algebra.Prelude.Core |
| homogenize | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| HopfAlgebra | Algebra.Prelude.Core |
| id | Algebra.Prelude.Core |
| Ideal | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| Idempotent | Algebra.Prelude.Core |
| IdempotentAlgebra | Algebra.Prelude.Core |
| IdempotentBialgebra | Algebra.Prelude.Core |
| ifoldMapMonom | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| ifThenElse | Algebra.Prelude.Core |
| illegalOperationErrorType | Algebra.Prelude.Core |
| inclusion | Algebra.Prelude.Core |
| inclusion' | Algebra.Prelude.Core |
| induction | Algebra.Prelude.Core |
| init | Algebra.Prelude.Core |
| inits | Algebra.Prelude.Core |
| injectCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| injectCoeff' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| injectVars | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| injectVarsAtEnd | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| injectVarsOffset | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| insert | Algebra.Prelude.Core |
| insertBy | Algebra.Prelude.Core |
| Int | Algebra.Prelude.Core |
| Int32 | Algebra.Prelude.Core |
| Int64 | Algebra.Prelude.Core |
| Integer | Algebra.Prelude.Core |
| Integral | Algebra.Prelude.Core |
| IntegralDomain | Algebra.Prelude.Core |
| interact | Algebra.Prelude.Core |
| intercalate | Algebra.Prelude.Core |
| intersect | Algebra.Prelude.Core |
| intersectBy | Algebra.Prelude.Core |
| intersection | Algebra.Algorithms.Groebner |
| intersperse | Algebra.Prelude.Core |
| IntMap | Algebra.Prelude.Core |
| IntSet | Algebra.Prelude.Core |
| inv | Algebra.Prelude.Core |
| invM | Algebra.Prelude.Core |
| InvolutiveAlgebra | Algebra.Prelude.Core |
| InvolutiveBialgebra | Algebra.Prelude.Core |
| InvolutiveCoalgebra | Algebra.Prelude.Core |
| InvolutiveMultiplication | Algebra.Prelude.Core |
| InvolutiveSemiring | Algebra.Prelude.Core |
| IO | Algebra.Prelude.Core |
| ioeGetErrorString | Algebra.Prelude.Core |
| ioeGetErrorType | Algebra.Prelude.Core |
| ioeGetFileName | Algebra.Prelude.Core |
| ioeGetHandle | Algebra.Prelude.Core |
| ioeGetLocation | Algebra.Prelude.Core |
| IOError | Algebra.Prelude.Core |
| ioError | Algebra.Prelude.Core |
| IOErrorType | Algebra.Prelude.Core |
| ioeSetErrorString | Algebra.Prelude.Core |
| ioeSetErrorType | Algebra.Prelude.Core |
| ioeSetFileName | Algebra.Prelude.Core |
| ioeSetHandle | Algebra.Prelude.Core |
| ioeSetLocation | Algebra.Prelude.Core |
| IOException | Algebra.Prelude.Core |
| isAlreadyExistsError | Algebra.Prelude.Core |
| isAlreadyExistsErrorType | Algebra.Prelude.Core |
| isAlreadyInUseError | Algebra.Prelude.Core |
| isAlreadyInUseErrorType | Algebra.Prelude.Core |
| isAssociate | Algebra.Prelude.Core |
| isAssociateDefault | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isAssociateIntegral | Algebra.Prelude.Core |
| isAssociateWhole | Algebra.Prelude.Core |
| isDenormalized | Algebra.Prelude.Core |
| isDoesNotExistError | Algebra.Prelude.Core |
| isDoesNotExistErrorType | Algebra.Prelude.Core |
| isEmptyIdeal | Algebra.Prelude.Core |
| isEOFError | Algebra.Prelude.Core |
| isEOFErrorType | Algebra.Prelude.Core |
| isFullError | Algebra.Prelude.Core |
| isFullErrorType | Algebra.Prelude.Core |
| isGroebnerBasis | Algebra.Algorithms.Groebner |
| isIdealMember | Algebra.Algorithms.Groebner |
| isIEEE | Algebra.Prelude.Core |
| isIllegalOperation | Algebra.Prelude.Core |
| isIllegalOperationErrorType | Algebra.Prelude.Core |
| isInfinite | Algebra.Prelude.Core |
| isInfixOf | Algebra.Prelude.Core |
| isJust | Algebra.Prelude.Core |
| IsLabel | Algebra.Prelude.Core |
| IsMonomialOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isNaN | Algebra.Prelude.Core |
| isNegativeZero | Algebra.Prelude.Core |
| isNothing | Algebra.Prelude.Core |
| IsOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| IsOrderedPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isPermissionError | Algebra.Prelude.Core |
| isPermissionErrorType | Algebra.Prelude.Core |
| IsPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isPowerOf | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isPrefixOf | Algebra.Prelude.Core |
| isRelativelyPrime | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isResourceVanishedError | Algebra.Prelude.Core |
| isResourceVanishedErrorType | Algebra.Prelude.Core |
| IsString | Algebra.Prelude.Core |
| IsStrongMonomialOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isSubsequenceOf | Algebra.Prelude.Core |
| IsSubsetOf | Algebra.Ring.Polynomial.Labeled |
| IsSucc | Algebra.Prelude.Core |
| isSuffixOf | Algebra.Prelude.Core |
| IsTrue | Algebra.Prelude.Core |
| IsUniqueList | Algebra.Ring.Polynomial.Labeled |
| isUnit | Algebra.Prelude.Core |
| isUnitDefault | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| isUserError | Algebra.Prelude.Core |
| isUserErrorType | Algebra.Prelude.Core |
| IsZero | Algebra.Prelude.Core |
| isZero | Algebra.Prelude.Core |
| isZeroDimensional | Algebra.Ring.Polynomial.Quotient |
| iterate | Algebra.Prelude.Core |
| iterate' | Algebra.Prelude.Core |
| join | Algebra.Prelude.Core |
| Just | Algebra.Prelude.Core |
| karatsuba | Algebra.Ring.Polynomial.Univariate |
| KnownNat | Algebra.Prelude.Core |
| KProxy | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| LabelPolynomial | Algebra.Ring.Polynomial.Labeled |
| LabPolynomial | Algebra.Ring.Polynomial.Labeled |
| LabPolynomial' | Algebra.Ring.Polynomial.Labeled |
| LabUnipol | Algebra.Ring.Polynomial.Labeled |
| last | Algebra.Prelude.Core |
| LByteString | Algebra.Prelude.Core |
| lcm | Algebra.Prelude.Core |
| lcmMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| lcmPolynomial | Algebra.Algorithms.Groebner |
| leadingCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| leadingMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| leadingTerm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| leadingUnit | Algebra.Prelude.Core |
| Left | Algebra.Prelude.Core |
| LeftModule | Algebra.Prelude.Core |
| lefts | Algebra.Prelude.Core |
| length | Algebra.Prelude.Core |
| Lex | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| lex | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| lift | Algebra.Prelude.Core |
| liftA2 | Algebra.Prelude.Core |
| liftIO | Algebra.Prelude.Core |
| liftM | Algebra.Prelude.Core |
| liftM2 | Algebra.Prelude.Core |
| liftM3 | Algebra.Prelude.Core |
| liftM4 | Algebra.Prelude.Core |
| liftM5 | Algebra.Prelude.Core |
| liftMap | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| liftMapCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| liftMapUnipol | Algebra.Ring.Polynomial.Univariate |
| liftNorm | Algebra.Prelude.Core |
| lines | Algebra.Prelude.Core |
| listToMaybe | Algebra.Prelude.Core |
| LocallyFiniteOrder | Algebra.Prelude.Core |
| LocalRing | Algebra.Prelude.Core |
| log | Algebra.Prelude.Core |
| Log2 | Algebra.Prelude.Core |
| logBase | Algebra.Prelude.Core |
| logBase2 | Algebra.Prelude.Core |
| lookup | Algebra.Prelude.Core |
| LT | Algebra.Prelude.Core |
| LText | Algebra.Prelude.Core |
| ltextToString | Algebra.Prelude.Core |
| Map | Algebra.Prelude.Core |
| map | Algebra.Prelude.Core |
| mapAccumL | Algebra.Prelude.Core |
| mapAccumR | Algebra.Prelude.Core |
| mapAndUnzipM | Algebra.Prelude.Core |
| mapCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| mapCoeff' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| mapCoeffUnipol | Algebra.Ring.Polynomial.Univariate |
| mapIdeal | Algebra.Prelude.Core |
| mapM | Algebra.Prelude.Core |
| mapMaybe | Algebra.Prelude.Core |
| mapMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| mapMonomialMonotonic | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| mapM_ | Algebra.Prelude.Core |
| mappend | Algebra.Prelude.Core |
| mapPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| matRep0 | Algebra.Ring.Polynomial.Quotient |
| matRepr' | Algebra.Ring.Polynomial.Quotient |
| Max | Algebra.Prelude.Core |
| max | Algebra.Prelude.Core |
| maxBound | Algebra.Prelude.Core |
| maximum | Algebra.Prelude.Core |
| maximumBy | Algebra.Prelude.Core |
| maxNorm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Maybe | Algebra.Prelude.Core |
| maybe | Algebra.Prelude.Core |
| maybeQuot | Algebra.Prelude.Core |
| maybeToList | Algebra.Prelude.Core |
| mconcat | Algebra.Prelude.Core |
| mempty | Algebra.Prelude.Core |
| mfilter | Algebra.Prelude.Core |
| Min | Algebra.Prelude.Core |
| min | Algebra.Prelude.Core |
| minBound | Algebra.Prelude.Core |
| minimizeGroebnerBasis | Algebra.Algorithms.Groebner |
| minimum | Algebra.Prelude.Core |
| minimumBy | Algebra.Prelude.Core |
| minpolRecurrent | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| minusRep | Algebra.Prelude.Core |
| mkIOError | Algebra.Prelude.Core |
| Mod | Algebra.Prelude.Core |
| mod | Algebra.Prelude.Core |
| modIdeal | Algebra.Ring.Polynomial.Quotient |
| modIdeal' | Algebra.Ring.Polynomial.Quotient |
| modifyIOError | Algebra.Prelude.Core |
| modPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Module | Algebra.Prelude.Core |
| Monad | Algebra.Prelude.Core |
| MonadFail | Algebra.Prelude.Core |
| MonadIO | Algebra.Prelude.Core |
| MonadPlus | Algebra.Prelude.Core |
| Monoid | Algebra.Prelude.Core |
| Monoidal | Algebra.Prelude.Core |
| monoize | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Monomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| MonomialOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| monomials | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| MOrder | Algebra.Prelude.Core, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Ring.Polynomial |
| mplus | Algebra.Prelude.Core |
| msum | Algebra.Prelude.Core |
| mulRep | Algebra.Prelude.Core |
| Mult | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| mult | Algebra.Prelude.Core |
| Multiplicative | Algebra.Prelude.Core |
| multM | Algebra.Prelude.Core |
| multUnamb | Algebra.Ring.Polynomial.Quotient |
| multWithTable | Algebra.Ring.Polynomial.Quotient |
| mzero | Algebra.Prelude.Core |
| naiveMult | Algebra.Ring.Polynomial.Univariate |
| Nat | Algebra.Prelude.Core |
| Natural | Algebra.Prelude.Core |
| naturalToOrd | Algebra.Prelude.Core |
| naturalToOrd' | Algebra.Prelude.Core |
| natVal | Algebra.Prelude.Core |
| natVal' | Algebra.Prelude.Core |
| negate | Algebra.Prelude.Core |
| negateRep | Algebra.Prelude.Core |
| Negative | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Nil | Algebra.Prelude.Core |
| NonEqual | Algebra.Prelude.Core |
| Norm | Algebra.Prelude.Core, Algebra.Prelude.Core |
| norm | Algebra.Prelude.Core |
| normaliseUnit | Algebra.Prelude.Core |
| normalize | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| NormalStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| Normed | Algebra.Prelude.Core |
| not | Algebra.Prelude.Core |
| notElem | Algebra.Prelude.Core |
| Nothing | Algebra.Prelude.Core |
| nub | Algebra.Prelude.Core |
| nubBy | Algebra.Prelude.Core |
| null | Algebra.Prelude.Core |
| Num | Algebra.Prelude.Core |
| numerator | Algebra.Prelude.Core |
| od | Algebra.Prelude.Core |
| odd | Algebra.Prelude.Core |
| OLt | Algebra.Prelude.Core |
| OMonom | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| on | Algebra.Prelude.Core |
| One | Algebra.Prelude.Core |
| one | Algebra.Prelude.Core |
| OneCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| oneNorm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| oneRep | Algebra.Prelude.Core |
| or | Algebra.Prelude.Core |
| Ord | Algebra.Prelude.Core |
| orderedBy | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| OrderedMonomial | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| orderedMonomials | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| OrderedPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| OrderedRig | Algebra.Prelude.Core |
| Ordering | Algebra.Prelude.Core |
| orderMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Ordinal | Algebra.Prelude.Core |
| ordToNatural | Algebra.Prelude.Core |
| ordToSNat | Algebra.Prelude.Core |
| OS | Algebra.Prelude.Core |
| otherwise | Algebra.Prelude.Core |
| OZ | Algebra.Prelude.Core |
| padeApprox | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| padLeftPoly | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| PadPolyL | |
| 1 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| 2 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| padVecs | Algebra.Prelude.Core |
| partition | Algebra.Prelude.Core |
| Partitionable | Algebra.Prelude.Core |
| partitionEithers | Algebra.Prelude.Core |
| partitionWith | Algebra.Prelude.Core |
| pDivModPoly | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| permissionErrorType | Algebra.Prelude.Core |
| permutations | Algebra.Prelude.Core |
| pi | Algebra.Prelude.Core |
| PID | Algebra.Prelude.Core |
| Polynomial | |
| 1 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| 2 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| polynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| polynomial' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Positive | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| pow | Algebra.Prelude.Core |
| pow1p | Algebra.Prelude.Core |
| pow1pBand | Algebra.Prelude.Core |
| powBand | Algebra.Prelude.Core |
| pp | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Pred | Algebra.Prelude.Core |
| pred | Algebra.Prelude.Core |
| PrettyCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| primeTestBuchberger | Algebra.Algorithms.Groebner |
| principalIdeal | Algebra.Prelude.Core |
| Algebra.Prelude.Core | |
| product | Algebra.Prelude.Core |
| product1 | Algebra.Prelude.Core |
| ProductOrder | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| productOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| productOrder' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| productWith | Algebra.Prelude.Core |
| productWith1 | Algebra.Prelude.Core |
| properFraction | Algebra.Prelude.Core |
| Proxy | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| prs | Algebra.Prelude.Core |
| pure | Algebra.Prelude.Core |
| putChar | Algebra.Prelude.Core |
| putStr | Algebra.Prelude.Core |
| putStrLn | Algebra.Prelude.Core |
| QIdeal | Algebra.Ring.Polynomial.Quotient |
| Quadrance | Algebra.Prelude.Core |
| quadrance | Algebra.Prelude.Core |
| quot | Algebra.Prelude.Core |
| quotByPrincipalIdeal | Algebra.Algorithms.Groebner |
| quotIdeal | Algebra.Algorithms.Groebner |
| Quotient | Algebra.Ring.Polynomial.Quotient |
| quotRepr | Algebra.Ring.Polynomial.Quotient |
| Ratio | Algebra.Prelude.Core |
| Rational | Algebra.Prelude.Core |
| Read | Algebra.Prelude.Core |
| readFile | Algebra.Prelude.Core |
| readIO | Algebra.Prelude.Core |
| readList | Algebra.Prelude.Core |
| readLn | Algebra.Prelude.Core |
| readMay | Algebra.Prelude.Core |
| readParen | Algebra.Prelude.Core |
| ReadS | Algebra.Prelude.Core |
| reads | Algebra.Prelude.Core |
| readsPrec | Algebra.Prelude.Core |
| Real | Algebra.Prelude.Core |
| RealFloat | Algebra.Prelude.Core |
| RealFrac | Algebra.Prelude.Core |
| reallyUnsafeNaturalToOrd | Algebra.Prelude.Core |
| realToFrac | Algebra.Prelude.Core |
| recip | Algebra.Prelude.Core |
| recipriocal | Algebra.Prelude.Core |
| recipUnit | Algebra.Prelude.Core |
| recipUnitDefault | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| recipUnitIntegral | Algebra.Prelude.Core |
| recipUnitWhole | Algebra.Prelude.Core |
| reduce | Algebra.Ring.Polynomial.Quotient |
| reduceFraction | Algebra.Prelude.Core |
| reduceMinimalGroebnerBasis | Algebra.Algorithms.Groebner |
| Refl | Algebra.Prelude.Core |
| reifyQuotient | Algebra.Ring.Polynomial.Quotient |
| rem | Algebra.Prelude.Core |
| renameVars | Algebra.Ring.Polynomial.Labeled |
| renameVars' | Algebra.Ring.Polynomial.Labeled |
| repeat | Algebra.Prelude.Core |
| replicate | Algebra.Prelude.Core |
| replicateM | Algebra.Prelude.Core |
| replicateM_ | Algebra.Prelude.Core |
| resourceVanishedErrorType | Algebra.Prelude.Core |
| resultant | Algebra.Algorithms.Groebner |
| return | Algebra.Prelude.Core |
| reversal | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| reverse | Algebra.Prelude.Core |
| Revlex | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| revlex | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| Rig | Algebra.Prelude.Core |
| Right | Algebra.Prelude.Core |
| RightModule | Algebra.Prelude.Core |
| rights | Algebra.Prelude.Core |
| Ring | Algebra.Prelude.Core |
| Rng | Algebra.Prelude.Core |
| round | Algebra.Prelude.Core |
| runAdd | Algebra.Prelude.Core |
| runMult | Algebra.Prelude.Core |
| runPadPolyL | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| runScalar | Algebra.Prelude.Core |
| S | Algebra.Prelude.Core |
| sArity | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| sArity' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| saturationByPrincipalIdeal | Algebra.Algorithms.Groebner |
| saturationIdeal | Algebra.Algorithms.Groebner |
| SBool | Algebra.Prelude.Core |
| Scalar | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| scaleFloat | Algebra.Prelude.Core |
| scanl | Algebra.Prelude.Core |
| scanl' | Algebra.Prelude.Core |
| scanl1 | Algebra.Prelude.Core |
| scanr | Algebra.Prelude.Core |
| scanr1 | Algebra.Prelude.Core |
| scastMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| scastPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| sCmpNat | Algebra.Prelude.Core |
| sCompare | Algebra.Prelude.Core |
| sDiv | Algebra.Prelude.Core |
| second | Algebra.Prelude.Core |
| SelectionStrategy | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| Semiring | Algebra.Prelude.Core |
| SEQ | Algebra.Prelude.Core |
| Seq | Algebra.Prelude.Core |
| seq | Algebra.Prelude.Core |
| sequence | Algebra.Prelude.Core |
| sequenceA | Algebra.Prelude.Core |
| sequenceA_ | Algebra.Prelude.Core |
| sequence_ | Algebra.Prelude.Core |
| Set | Algebra.Prelude.Core |
| SFalse | Algebra.Prelude.Core |
| sFlipOrdering | Algebra.Prelude.Core |
| SGT | Algebra.Prelude.Core |
| shiftR | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| Show | Algebra.Prelude.Core |
| show | Algebra.Prelude.Core |
| showChar | Algebra.Prelude.Core |
| showList | Algebra.Prelude.Core |
| showParen | Algebra.Prelude.Core |
| showPolynomialWith | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showPolynomialWith' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| ShowS | Algebra.Prelude.Core |
| shows | Algebra.Prelude.Core |
| ShowSCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsCoeffAsTerm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsCoeffWithOp | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsPolynomialWith | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsPolynomialWith' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| showsPrec | Algebra.Prelude.Core |
| showString | Algebra.Prelude.Core |
| significand | Algebra.Prelude.Core |
| signum | Algebra.Prelude.Core |
| simpleBuchberger | Algebra.Algorithms.Groebner |
| sin | Algebra.Prelude.Core |
| sIndex | Algebra.Prelude.Core |
| Sing | Algebra.Prelude.Core |
| sing | Algebra.Prelude.Core |
| SingI | Algebra.Prelude.Core |
| SingKind | Algebra.Prelude.Core |
| singleton | Algebra.Prelude.Core |
| singToSNat | Algebra.Prelude.Core |
| sinh | Algebra.Prelude.Core |
| sinnum | Algebra.Prelude.Core |
| sinnum1p | Algebra.Prelude.Core |
| sinnum1pIdempotent | Algebra.Prelude.Core |
| sinnum1pRep | Algebra.Prelude.Core |
| sinnumIdempotent | Algebra.Prelude.Core |
| sinnumRep | Algebra.Prelude.Core |
| Sized | Algebra.Prelude.Core |
| Sized' | Algebra.Prelude.Core |
| sizedLength | Algebra.Prelude.Core |
| sLog2 | Algebra.Prelude.Core |
| SLT | Algebra.Prelude.Core |
| sMax | Algebra.Prelude.Core |
| sMin | Algebra.Prelude.Core |
| sMod | Algebra.Prelude.Core |
| SNat | Algebra.Prelude.Core |
| sNat | Algebra.Prelude.Core |
| snat | Algebra.Prelude.Core |
| sNatP | Algebra.Prelude.Core |
| sNatToInt | Algebra.Prelude.Core |
| sNatToOrd | Algebra.Prelude.Core |
| sNatToOrd' | Algebra.Prelude.Core |
| sNatToSingleton | Algebra.Prelude.Core |
| snd | Algebra.Prelude.Core |
| SomeException | Algebra.Prelude.Core |
| SomeNat | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| someNatVal | Algebra.Prelude.Core |
| SomeSing | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| someSizedIdeal | Algebra.Prelude.Core |
| SomeSNat | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| sOne | Algebra.Prelude.Core |
| sOnes | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| SOrdering | Algebra.Prelude.Core |
| sort | Algebra.Prelude.Core |
| sortBy | Algebra.Prelude.Core |
| sortOn | Algebra.Prelude.Core |
| span | Algebra.Prelude.Core |
| splitAt | Algebra.Prelude.Core |
| splitLeadingTerm | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| splitUnit | Algebra.Prelude.Core |
| splitUnitDefault | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| sPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| sPred | Algebra.Prelude.Core |
| sqrt | Algebra.Prelude.Core |
| sS | Algebra.Prelude.Core |
| sSucc | Algebra.Prelude.Core |
| standardMonomials | Algebra.Ring.Polynomial.Quotient |
| standardMonomials' | Algebra.Ring.Polynomial.Quotient |
| start | Algebra.Prelude.Core |
| Storable | Algebra.Prelude.Core |
| String | Algebra.Prelude.Core |
| stripPrefix | Algebra.Prelude.Core |
| STrue | Algebra.Prelude.Core |
| subsequences | Algebra.Prelude.Core |
| subst | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| substCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| substUnivariate | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| substVar | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| substWith | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| subtract | Algebra.Prelude.Core |
| subtractRep | Algebra.Prelude.Core |
| Succ | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| succ | Algebra.Prelude.Core |
| SugarStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner |
| sum | Algebra.Prelude.Core |
| sum1 | Algebra.Prelude.Core |
| sumWith | Algebra.Prelude.Core |
| sumWith1 | Algebra.Prelude.Core |
| SVector | Algebra.Prelude.Core |
| swap | Algebra.Prelude.Core |
| syzygyBuchberger | Algebra.Algorithms.Groebner |
| syzygyBuchbergerWithStrategy | Algebra.Algorithms.Groebner |
| sZero | Algebra.Prelude.Core |
| tail | Algebra.Prelude.Core |
| tails | Algebra.Prelude.Core |
| take | Algebra.Prelude.Core |
| takeWhile | Algebra.Prelude.Core |
| tan | Algebra.Prelude.Core |
| tanh | Algebra.Prelude.Core |
| Term | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| terms | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| terms' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| termsUnipol | Algebra.Ring.Polynomial.Univariate |
| terror | Algebra.Prelude.Core |
| Text | Algebra.Prelude.Core |
| textToString | Algebra.Prelude.Core |
| thEliminationIdeal | Algebra.Algorithms.Groebner |
| thEliminationIdealWith | Algebra.Algorithms.Groebner |
| times | Algebra.Prelude.Core |
| timesRep | Algebra.Prelude.Core |
| toEnum | Algebra.Prelude.Core |
| toException | Algebra.Prelude.Core |
| toIdeal | Algebra.Prelude.Core |
| toInteger | Algebra.Prelude.Core |
| toNatural | Algebra.Prelude.Core |
| toPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| toPolynomial' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| toProxy | Algebra.Prelude.Core |
| toRational | Algebra.Prelude.Core |
| toSing | Algebra.Prelude.Core |
| toSomeSNat | Algebra.Prelude.Core |
| totalDegree | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| totalDegree' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| transformMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| transpose | Algebra.Prelude.Core |
| Traversable | Algebra.Prelude.Core |
| traverse | Algebra.Prelude.Core |
| traverse_ | Algebra.Prelude.Core |
| TriviallyInvolutive | Algebra.Prelude.Core |
| TriviallyInvolutiveAlgebra | Algebra.Prelude.Core |
| TriviallyInvolutiveBialgebra | Algebra.Prelude.Core |
| TriviallyInvolutiveCoalgebra | Algebra.Prelude.Core |
| True | Algebra.Prelude.Core |
| truncate | Algebra.Prelude.Core |
| tryDiv | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| tryIOError | Algebra.Prelude.Core |
| tshow | Algebra.Prelude.Core |
| Typeable | Algebra.Prelude.Core |
| UFD | Algebra.Prelude.Core |
| Unbox | Algebra.Prelude.Core |
| uncons | Algebra.Prelude.Core |
| uncurry | Algebra.Prelude.Core |
| undefined | Algebra.Prelude.Core |
| unfoldr | Algebra.Prelude.Core |
| unhomogenize | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| union | Algebra.Prelude.Core |
| unionBy | Algebra.Prelude.Core |
| Unipol | Algebra.Ring.Polynomial.Univariate |
| unit | Algebra.Prelude.Core |
| Unital | Algebra.Prelude.Core |
| UnitalAlgebra | Algebra.Prelude.Core |
| unitM | Algebra.Prelude.Core |
| UnitNormalForm | Algebra.Prelude.Core |
| unLabelPolynomial | Algebra.Ring.Polynomial.Labeled |
| unless | Algebra.Prelude.Core |
| unlines | Algebra.Prelude.Core |
| unsafeFromList | Algebra.Prelude.Core |
| unsafeFromList' | Algebra.Prelude.Core |
| unsafeNaturalToOrd | Algebra.Prelude.Core |
| unsafeNaturalToOrd' | Algebra.Prelude.Core |
| unsafeThEliminationIdealWith | Algebra.Algorithms.Groebner |
| until | Algebra.Prelude.Core |
| unwords | Algebra.Prelude.Core |
| unwrapAlgebra | Algebra.Prelude.Core |
| unwrapFractional | Algebra.Prelude.Core |
| unwrapIntegral | Algebra.Prelude.Core |
| unwrapNum | Algebra.Prelude.Core |
| unzip | Algebra.Prelude.Core |
| unzip3 | Algebra.Prelude.Core |
| unzip4 | Algebra.Prelude.Core |
| unzip5 | Algebra.Prelude.Core |
| unzip6 | Algebra.Prelude.Core |
| unzip7 | Algebra.Prelude.Core |
| userError | Algebra.Prelude.Core |
| userErrorType | Algebra.Prelude.Core |
| USized | Algebra.Prelude.Core |
| UVector | Algebra.Prelude.Core |
| vacuousOrd | Algebra.Prelude.Core |
| Vanished | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| var | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| varMonom | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| vars | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| varX | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| Vector | Algebra.Prelude.Core |
| vectorRep | Algebra.Ring.Polynomial.Quotient |
| viewNat | Algebra.Prelude.Core |
| void | Algebra.Prelude.Core |
| Weight | Algebra.Algorithms.Groebner.SelectionStrategy, Algebra.Algorithms.Groebner, Algebra.Algorithms.Groebner |
| WeightedEliminationOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| weightedEliminationOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| WeightOrder | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| weightOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| WeightProxy | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| when | Algebra.Prelude.Core |
| withKnownNat | Algebra.Prelude.Core |
| withQuotient | Algebra.Ring.Polynomial.Quotient |
| withRefl | Algebra.Prelude.Core |
| withSingI | Algebra.Prelude.Core |
| withSNat | Algebra.Prelude.Core |
| withStrongMonomialOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| withWitness | Algebra.Prelude.Core |
| Witness | Algebra.Prelude.Core |
| Word | Algebra.Prelude.Core |
| Word32 | Algebra.Prelude.Core |
| Word64 | Algebra.Prelude.Core |
| Word8 | Algebra.Prelude.Core |
| words | Algebra.Prelude.Core |
| WrapAlgebra | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| WrapFractional | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| WrapIntegral | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| WrapNum | |
| 1 (Data Constructor) | Algebra.Prelude.Core |
| 2 (Type/Class) | Algebra.Prelude.Core |
| Wraps | Algebra.Ring.Polynomial.Labeled |
| writeFile | Algebra.Prelude.Core |
| Zero | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Data Constructor) | Algebra.Prelude.Core |
| zero | Algebra.Prelude.Core |
| ZeroOrSucc | Algebra.Prelude.Core |
| zeroOrSucc | Algebra.Prelude.Core |
| ZeroProductSemiring | Algebra.Prelude.Core |
| zeroRep | Algebra.Prelude.Core |
| zip | Algebra.Prelude.Core |
| zip3 | Algebra.Prelude.Core |
| zip4 | Algebra.Prelude.Core |
| zip5 | Algebra.Prelude.Core |
| zip6 | Algebra.Prelude.Core |
| zip7 | Algebra.Prelude.Core |
| zipWith | Algebra.Prelude.Core |
| zipWith3 | Algebra.Prelude.Core |
| zipWith4 | Algebra.Prelude.Core |
| zipWith5 | Algebra.Prelude.Core |
| zipWith6 | Algebra.Prelude.Core |
| zipWith7 | Algebra.Prelude.Core |
| zipWithM | Algebra.Prelude.Core |
| zipWithM_ | Algebra.Prelude.Core |
| zipWithSame | Algebra.Prelude.Core |
| \\ | Algebra.Prelude.Core |
| ^ | |
| 1 (Type/Class) | Algebra.Prelude.Core |
| 2 (Function) | Algebra.Prelude.Core |
| ^? | Algebra.Prelude.Core |
| ^^ | Algebra.Prelude.Core |
| _Terms | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| _terms | Algebra.Prelude.Core, Algebra.Ring.Polynomial |
| _Terms' | Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial |
| || | Algebra.Prelude.Core |