Index
| ! | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| !! | Algebra.Prelude.Core, Algebra.Prelude |
| !* | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| $ | Algebra.Prelude.Core, Algebra.Prelude |
| $! | Algebra.Prelude.Core, Algebra.Prelude |
| $* | Algebra.Prelude.Core, Algebra.Prelude |
| % | Algebra.Prelude.Core, Algebra.Prelude |
| %:* | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:+ | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:- | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:-. | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:< | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:<= | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:> | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| %:>= | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| && | Algebra.Prelude.Core, Algebra.Prelude |
| &&& | Algebra.Prelude.Core, Algebra.Prelude |
| * | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| ** | Algebra.Prelude.Core, Algebra.Prelude |
| *** | Algebra.Prelude.Core, Algebra.Prelude |
| *. | Algebra.Prelude.Core, Algebra.Prelude |
| *< | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| *> | Algebra.Prelude.Core, Algebra.Prelude |
| *|< | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| + | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| ++ | Algebra.Prelude.Core, Algebra.Prelude |
| - | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| . | Algebra.Prelude.Core, Algebra.Prelude |
| .* | Algebra.Prelude.Core, Algebra.Prelude |
| .*. | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
| / | Algebra.Prelude.Core, Algebra.Prelude |
| /= | Algebra.Prelude.Core, Algebra.Prelude |
| :$$: | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :* | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :+ | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :- | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :-. | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :< | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :<= | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :<>: | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :> | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :>= | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| :~: | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| < | Algebra.Prelude.Core, Algebra.Prelude |
| <$ | Algebra.Prelude.Core, Algebra.Prelude |
| <$!> | Algebra.Prelude.Core, Algebra.Prelude |
| <$> | Algebra.Prelude.Core, Algebra.Prelude |
| <* | Algebra.Prelude.Core, Algebra.Prelude |
| <*> | Algebra.Prelude.Core, Algebra.Prelude |
| <--> | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| <.> | Algebra.Prelude.Core, Algebra.Prelude |
| </> | Algebra.Prelude.Core, Algebra.Prelude |
| <= | |
| 1 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| <=< | Algebra.Prelude.Core, Algebra.Prelude |
| <=? | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| <> | Algebra.Prelude.Core, Algebra.Prelude |
| <|> | Algebra.Prelude.Core, Algebra.Prelude |
| <||> | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| =<< | Algebra.Prelude.Core, Algebra.Prelude |
| == | Algebra.Prelude.Core, Algebra.Prelude |
| === | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| =~= | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| > | Algebra.Prelude.Core, Algebra.Prelude |
| >* | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| >= | Algebra.Prelude.Core, Algebra.Prelude |
| >=> | Algebra.Prelude.Core, Algebra.Prelude |
| >> | Algebra.Prelude.Core, Algebra.Prelude |
| >>= | Algebra.Prelude.Core, Algebra.Prelude |
| >|* | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Abelian | Algebra.Prelude.Core, Algebra.Prelude |
| Abs | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| abs | Algebra.Prelude.Core, Algebra.Prelude |
| acos | Algebra.Prelude.Core, Algebra.Prelude |
| acosh | Algebra.Prelude.Core, Algebra.Prelude |
| Add | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| addCol | Algebra.LinkedMatrix |
| addConwayPolynomials | Algebra.Field.Galois, Algebra.Prelude |
| Additive | Algebra.Prelude.Core, Algebra.Prelude |
| AdditiveOrder | Algebra.Prelude.Core, Algebra.Prelude |
| addRep | Algebra.Prelude.Core, Algebra.Prelude |
| addRow | Algebra.LinkedMatrix |
| addToIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| adjoint | Algebra.Prelude.Core, Algebra.Prelude |
| Algebra | Algebra.Prelude.Core, Algebra.Prelude |
| Algebraic | Algebra.Field.AlgebraicReal |
| algebraic | Algebra.Field.AlgebraicReal |
| all | Algebra.Prelude.Core, Algebra.Prelude |
| allVars | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| alreadyExistsErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| alreadyInUseErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| and | Algebra.Prelude.Core, Algebra.Prelude |
| annotateIOError | Algebra.Prelude.Core, Algebra.Prelude |
| antipode | Algebra.Prelude.Core, Algebra.Prelude |
| antipodeM | Algebra.Prelude.Core, Algebra.Prelude |
| any | Algebra.Prelude.Core, Algebra.Prelude |
| ap | Algebra.Prelude.Core, Algebra.Prelude |
| appendFile | Algebra.Prelude.Core, Algebra.Prelude |
| appendIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| Applicative | Algebra.Prelude.Core, Algebra.Prelude |
| approxFractional | Algebra.Field.AlgebraicReal |
| approximate | Algebra.Field.AlgebraicReal |
| Arity | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| arity | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| asin | Algebra.Prelude.Core, Algebra.Prelude |
| asinh | Algebra.Prelude.Core, Algebra.Prelude |
| asProxyTypeOf | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| asTypeOf | Algebra.Prelude.Core, Algebra.Prelude |
| asum | Algebra.Prelude.Core, Algebra.Prelude |
| atan | Algebra.Prelude.Core, Algebra.Prelude |
| atan2 | Algebra.Prelude.Core, Algebra.Prelude |
| atanh | Algebra.Prelude.Core, Algebra.Prelude |
| Band | Algebra.Prelude.Core, Algebra.Prelude |
| because | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Bialgebra | Algebra.Prelude.Core, Algebra.Prelude |
| Bool | Algebra.Prelude.Core, Algebra.Prelude |
| bool | Algebra.Prelude.Core, Algebra.Prelude |
| Bounded | Algebra.Prelude.Core, Algebra.Prelude |
| bracket | Algebra.Prelude.Core, Algebra.Prelude |
| bracketOnError | Algebra.Prelude.Core, Algebra.Prelude |
| bracket_ | Algebra.Prelude.Core, Algebra.Prelude |
| break | Algebra.Prelude.Core, Algebra.Prelude |
| buchberger | Algebra.Algorithms.Groebner |
| buildMatrix | Algebra.Matrix |
| ByteString | Algebra.Prelude.Core, Algebra.Prelude |
| calcGroebnerBasis | Algebra.Algorithms.Groebner |
| calcGroebnerBasisWith | Algebra.Algorithms.Groebner |
| calcGroebnerBasisWithStrategy | Algebra.Algorithms.Groebner |
| calcWeight | Algebra.Algorithms.Groebner |
| calcWeight' | Algebra.Algorithms.Groebner |
| canonicalMap | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| canonicalMap' | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| castMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| castPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| catch | Algebra.Prelude.Core, Algebra.Prelude |
| catchIOError | Algebra.Prelude.Core, Algebra.Prelude |
| catchJust | Algebra.Prelude.Core, Algebra.Prelude |
| catCol | Algebra.LinkedMatrix |
| catMaybes | Algebra.Prelude.Core, Algebra.Prelude |
| catRow | Algebra.LinkedMatrix |
| ceiling | Algebra.Prelude.Core, Algebra.Prelude |
| ceilingLogBase2 | Algebra.Prelude.Core, Algebra.Prelude |
| changeMonomialOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| changeMonomialOrderProxy | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| changeOrder | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| changeOrderProxy | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| Char | Algebra.Prelude.Core, Algebra.Prelude |
| char | Algebra.Prelude.Core, Algebra.Prelude |
| Characteristic | Algebra.Prelude.Core, Algebra.Prelude |
| charInt | Algebra.Prelude.Core, Algebra.Prelude |
| charWord | Algebra.Prelude.Core, Algebra.Prelude |
| chineseRemainder | Algebra.Prelude.Core, Algebra.Prelude |
| clearCol | Algebra.LinkedMatrix |
| clearDenom | Algebra.Ring.Polynomial.Factorise |
| clearRow | Algebra.LinkedMatrix |
| cmap | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| cmpAnyMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| cmpMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| CmpNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| cmpSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| cmpSuccStepR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| CmpSymbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| cmpZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| cmpZero' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Coalgebra | Algebra.Prelude.Core, Algebra.Prelude |
| CocommutativeCoalgebra | Algebra.Prelude.Core, Algebra.Prelude |
| coeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| coeff' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Coefficient | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| CoeffRing | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| coerce | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| coerceLength | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| coerceLeqL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| coerceLeqR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| coinv | Algebra.Prelude.Core, Algebra.Prelude |
| coinvM | Algebra.Prelude.Core, Algebra.Prelude |
| colCount | Algebra.LinkedMatrix |
| colVector | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| combineCols | Algebra.LinkedMatrix |
| combineRows | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| Commutative | Algebra.Prelude.Core, Algebra.Prelude |
| CommutativeAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| CommutativeBialgebra | Algebra.Prelude.Core, Algebra.Prelude |
| companion | Algebra.Matrix |
| Compare | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| compare | Algebra.Prelude.Core, Algebra.Prelude |
| comparing | Algebra.Prelude.Core, Algebra.Prelude |
| complexRoots | Algebra.Field.AlgebraicReal |
| comult | Algebra.Prelude.Core, Algebra.Prelude |
| comultM | Algebra.Prelude.Core, Algebra.Prelude |
| concat | Algebra.Prelude.Core, Algebra.Prelude |
| concatMap | Algebra.Prelude.Core, Algebra.Prelude |
| const | Algebra.Prelude.Core, Algebra.Prelude |
| constantTerm | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| content | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| convolveM | Algebra.Prelude.Core, Algebra.Prelude |
| Conway | Algebra.Field.Galois, Algebra.Prelude |
| conway | Algebra.Field.Galois, Algebra.Prelude |
| conwayFile | Algebra.Field.Galois, Algebra.Prelude |
| ConwayPolynomial | Algebra.Field.Galois, Algebra.Prelude |
| conwayPolynomial | Algebra.Field.Galois, Algebra.Prelude |
| cos | Algebra.Prelude.Core, Algebra.Prelude |
| cosh | Algebra.Prelude.Core, Algebra.Prelude |
| counit | Algebra.Prelude.Core, Algebra.Prelude |
| CounitalCoalgebra | Algebra.Prelude.Core, Algebra.Prelude |
| counitM | Algebra.Prelude.Core, Algebra.Prelude |
| Covector | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| curry | Algebra.Prelude.Core, Algebra.Prelude |
| cycle | Algebra.Prelude.Core, Algebra.Prelude |
| DecidableAssociates | Algebra.Prelude.Core, Algebra.Prelude |
| DecidableUnits | Algebra.Prelude.Core, Algebra.Prelude |
| DecidableZero | Algebra.Prelude.Core, Algebra.Prelude |
| decodeFloat | Algebra.Prelude.Core, Algebra.Prelude |
| decodeUtf8 | Algebra.Prelude.Core, Algebra.Prelude |
| degree | Algebra.Prelude.Core, Algebra.Prelude |
| delete | Algebra.Prelude.Core, Algebra.Prelude |
| deleteBy | Algebra.Prelude.Core, Algebra.Prelude |
| deleteFirstsBy | Algebra.Prelude.Core, Algebra.Prelude |
| delta | Algebra.Matrix |
| DemoteRep | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| denominator | Algebra.Prelude.Core, Algebra.Prelude |
| det | Algebra.Matrix |
| diag | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| diagProd | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| diff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| DiffNat | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Dioid | Algebra.Prelude.Core, Algebra.Prelude |
| displayException | Algebra.Prelude.Core, Algebra.Prelude |
| distinctDegFactor | Algebra.Ring.Polynomial.Factorise |
| div | Algebra.Prelude.Core, Algebra.Prelude |
| divide | Algebra.Prelude.Core, Algebra.Prelude |
| divides | Algebra.Prelude.Core, Algebra.Prelude |
| Division | Algebra.Prelude.Core, Algebra.Prelude |
| DivisionAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| DivisionRing | Algebra.Prelude.Core, Algebra.Prelude |
| divModPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| divModUnipol | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| divModUnipolByMult | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| divPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| divs | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| doesNotExistErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| Domain | Algebra.Prelude.Core, Algebra.Prelude |
| Double | Algebra.Prelude.Core, Algebra.Prelude |
| Down | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| drop | Algebra.Prelude.Core, Algebra.Prelude |
| dropWhile | Algebra.Prelude.Core, Algebra.Prelude |
| dropWhileEnd | Algebra.Prelude.Core, Algebra.Prelude |
| egcd | Algebra.Prelude.Core, Algebra.Prelude |
| Either | Algebra.Prelude.Core, Algebra.Prelude |
| either | Algebra.Prelude.Core, Algebra.Prelude |
| Elem | Algebra.Matrix |
| elem | Algebra.Prelude.Core, Algebra.Prelude |
| elements | Algebra.Field.Finite, Algebra.Prelude |
| elemIndex | Algebra.Prelude.Core, Algebra.Prelude |
| elemIndices | Algebra.Prelude.Core, Algebra.Prelude |
| EliminationOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| eliminationOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| EliminationType | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| empty | |
| 1 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.LinkedMatrix |
| 3 (Function) | Algebra.Matrix |
| encodeFloat | Algebra.Prelude.Core, Algebra.Prelude |
| encodeUtf8 | Algebra.Prelude.Core, Algebra.Prelude |
| Entry | Algebra.LinkedMatrix |
| Enum | Algebra.Prelude.Core, Algebra.Prelude |
| enumFrom | Algebra.Prelude.Core, Algebra.Prelude |
| enumFromThen | Algebra.Prelude.Core, Algebra.Prelude |
| EnumFromThenTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| enumFromThenTo | Algebra.Prelude.Core, Algebra.Prelude |
| EnumFromTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| enumFromTo | Algebra.Prelude.Core, Algebra.Prelude |
| enumOrdinal | Algebra.Prelude.Core, Algebra.Prelude |
| eofErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| EQ | Algebra.Prelude.Core, Algebra.Prelude |
| Eq | Algebra.Prelude.Core, Algebra.Prelude |
| eqlCmpEQ | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| eqToRefl | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| equalDegreeFactorM | Algebra.Ring.Polynomial.Factorise |
| equalDegreeSplitM | Algebra.Ring.Polynomial.Factorise |
| equating | Algebra.Prelude.Core, Algebra.Prelude |
| error | Algebra.Prelude.Core, Algebra.Prelude |
| ErrorMessage | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| euclid | Algebra.Prelude.Core, Algebra.Prelude |
| Euclidean | Algebra.Prelude.Core, Algebra.Prelude |
| eval | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| evalUnivariate | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| even | Algebra.Prelude.Core, Algebra.Prelude |
| Exception | Algebra.Prelude.Core, Algebra.Prelude |
| exp | Algebra.Prelude.Core, Algebra.Prelude |
| exponent | Algebra.Prelude.Core, Algebra.Prelude |
| F | Algebra.Field.Finite, Algebra.Prelude |
| Factorable | Algebra.Prelude.Core, Algebra.Prelude |
| factorHensel | Algebra.Ring.Polynomial.Factorise |
| factorise | Algebra.Ring.Polynomial.Factorise |
| factorQBigPrime | Algebra.Ring.Polynomial.Factorise |
| factors | Algebra.Field.AlgebraicReal |
| factorWith | Algebra.Prelude.Core, Algebra.Prelude |
| fail | Algebra.Prelude.Core, Algebra.Prelude |
| False | Algebra.Prelude.Core, Algebra.Prelude |
| fermatTest | Algebra.Algorithms.PrimeTest |
| fglm | Algebra.Algorithms.ZeroDim |
| fglmMap | Algebra.Algorithms.ZeroDim |
| Field | Algebra.Prelude.Core, Algebra.Prelude |
| FilePath | Algebra.Prelude.Core, Algebra.Prelude |
| filter | Algebra.Prelude.Core, Algebra.Prelude |
| filterIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| filterM | Algebra.Prelude.Core, Algebra.Prelude |
| finally | Algebra.Prelude.Core, Algebra.Prelude |
| find | Algebra.Prelude.Core, Algebra.Prelude |
| findIndex | Algebra.Prelude.Core, Algebra.Prelude |
| findIndices | Algebra.Prelude.Core, Algebra.Prelude |
| FiniteField | Algebra.Field.Finite, Algebra.Prelude |
| first | Algebra.Prelude.Core, Algebra.Prelude |
| flip | Algebra.Prelude.Core, Algebra.Prelude |
| flipCompare | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| FlipOrdering | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Flipped | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Float | Algebra.Prelude.Core, Algebra.Prelude |
| floatDigits | Algebra.Prelude.Core, Algebra.Prelude |
| Floating | Algebra.Prelude.Core, Algebra.Prelude |
| floatRadix | Algebra.Prelude.Core, Algebra.Prelude |
| floatRange | Algebra.Prelude.Core, Algebra.Prelude |
| floor | Algebra.Prelude.Core, Algebra.Prelude |
| fmap | Algebra.Prelude.Core, Algebra.Prelude |
| Foldable | Algebra.Prelude.Core, Algebra.Prelude |
| foldl | Algebra.Prelude.Core, Algebra.Prelude |
| foldl' | Algebra.Prelude.Core, Algebra.Prelude |
| foldl1 | Algebra.Prelude.Core, Algebra.Prelude |
| foldl1' | Algebra.Prelude.Core, Algebra.Prelude |
| foldM | Algebra.Prelude.Core, Algebra.Prelude |
| foldMap | Algebra.Prelude.Core, Algebra.Prelude |
| foldM_ | Algebra.Prelude.Core, Algebra.Prelude |
| foldr | Algebra.Prelude.Core, Algebra.Prelude |
| foldr' | Algebra.Prelude.Core, Algebra.Prelude |
| foldr1 | Algebra.Prelude.Core, Algebra.Prelude |
| forever | Algebra.Prelude.Core, Algebra.Prelude |
| forM | Algebra.Prelude.Core, Algebra.Prelude |
| forM_ | Algebra.Prelude.Core, Algebra.Prelude |
| fpFromText | Algebra.Prelude.Core, Algebra.Prelude |
| fpToString | Algebra.Prelude.Core, Algebra.Prelude |
| fpToText | Algebra.Prelude.Core, Algebra.Prelude |
| Fraction | Algebra.Prelude.Core, Algebra.Prelude |
| Fractional | Algebra.Prelude.Core, Algebra.Prelude |
| fromCols | Algebra.Matrix |
| FromEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| fromEnum | Algebra.Prelude.Core, Algebra.Prelude |
| fromException | Algebra.Prelude.Core, Algebra.Prelude |
| FromInteger | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| fromInteger | Algebra.Prelude.Core, Algebra.Prelude |
| fromInteger' | Algebra.Prelude.Core, Algebra.Prelude |
| fromIntegerRep | Algebra.Prelude.Core, Algebra.Prelude |
| fromIntegral | Algebra.Prelude.Core, Algebra.Prelude |
| fromLeqView | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| fromList | |
| 1 (Function) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Function) | Algebra.LinkedMatrix |
| fromLists | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| fromMaybe | Algebra.Prelude.Core, Algebra.Prelude |
| fromMonomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| fromNatural | Algebra.Prelude.Core, Algebra.Prelude |
| fromNaturalRep | Algebra.Prelude.Core, Algebra.Prelude |
| fromOrderedMonomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| fromRational | Algebra.Prelude.Core, Algebra.Prelude |
| fromRows | Algebra.Matrix |
| fromSing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| fromString | Algebra.Prelude.Core, Algebra.Prelude |
| fst | Algebra.Prelude.Core, Algebra.Prelude |
| fullErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| Functor | Algebra.Prelude.Core, Algebra.Prelude |
| gaussReduction | Algebra.Matrix |
| gBasis' | Algebra.Ring.Polynomial.Quotient |
| gcd | Algebra.Prelude.Core, Algebra.Prelude |
| gcd' | Algebra.Prelude.Core, Algebra.Prelude |
| GCDDomain | Algebra.Prelude.Core, Algebra.Prelude |
| gcdMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| gcdPolynomial | Algebra.Algorithms.Groebner |
| generate | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| generateIrreducible | Algebra.Field.Galois, Algebra.Prelude |
| generators | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| genericDrop | Algebra.Prelude.Core, Algebra.Prelude |
| genericIndex | Algebra.Prelude.Core, Algebra.Prelude |
| genericLength | Algebra.Prelude.Core, Algebra.Prelude |
| genericReplicate | Algebra.Prelude.Core, Algebra.Prelude |
| genericSplitAt | Algebra.Prelude.Core, Algebra.Prelude |
| genericTake | Algebra.Prelude.Core, Algebra.Prelude |
| genQuotVars | Algebra.Ring.Polynomial.Quotient |
| genQuotVars' | Algebra.Ring.Polynomial.Quotient |
| geqToMax | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| geqToMin | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| getChar | Algebra.Prelude.Core, Algebra.Prelude |
| getCol | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| getContents | Algebra.Prelude.Core, Algebra.Prelude |
| getDiag | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| getLine | Algebra.Prelude.Core, Algebra.Prelude |
| getMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| getRow | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| getTerms | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| GF | Algebra.Field.Galois, Algebra.Prelude |
| GF' | Algebra.Field.Galois, Algebra.Prelude |
| Graded | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| graded | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| GradedStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner |
| Grevlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| grevlex | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| GrevlexStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner |
| Grlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| grlex | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Group | Algebra.Prelude.Core, Algebra.Prelude |
| group | Algebra.Prelude.Core, Algebra.Prelude |
| groupBy | Algebra.Prelude.Core, Algebra.Prelude |
| GT | Algebra.Prelude.Core, Algebra.Prelude |
| gtToLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| guard | Algebra.Prelude.Core, Algebra.Prelude |
| handle | Algebra.Prelude.Core, Algebra.Prelude |
| handleJust | Algebra.Prelude.Core, Algebra.Prelude |
| hasCommonFactor | Algebra.Algorithms.Groebner |
| hash | Algebra.Prelude.Core, Algebra.Prelude |
| Hashable | Algebra.Prelude.Core, Algebra.Prelude |
| HashMap | Algebra.Prelude.Core, Algebra.Prelude |
| HashSet | Algebra.Prelude.Core, Algebra.Prelude |
| hashWithSalt | Algebra.Prelude.Core, Algebra.Prelude |
| head | Algebra.Prelude.Core, Algebra.Prelude |
| height | Algebra.LinkedMatrix |
| henselLift | Algebra.LinkedMatrix |
| henselStep | Algebra.Ring.Polynomial.Factorise |
| homogenize | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| HopfAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| id | Algebra.Prelude.Core, Algebra.Prelude |
| Ideal | |
| 1 (Type/Class) | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| Idempotent | Algebra.Prelude.Core, Algebra.Prelude |
| IdempotentAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| IdempotentBialgebra | Algebra.Prelude.Core, Algebra.Prelude |
| identity | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| idx | Algebra.LinkedMatrix |
| ifThenElse | Algebra.Prelude.Core, Algebra.Prelude |
| illegalOperationErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| imagPartPoly | Algebra.Field.AlgebraicReal |
| improve | Algebra.Field.AlgebraicReal |
| inBound | Algebra.LinkedMatrix |
| includes | Algebra.Field.AlgebraicReal |
| index | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| induction | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| init | Algebra.Prelude.Core, Algebra.Prelude |
| inits | Algebra.Prelude.Core, Algebra.Prelude |
| injectCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| injectCoeff' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| injectVars | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| insert | Algebra.Prelude.Core, Algebra.Prelude |
| insertBy | Algebra.Prelude.Core, Algebra.Prelude |
| Int | Algebra.Prelude.Core, Algebra.Prelude |
| Int32 | Algebra.Prelude.Core, Algebra.Prelude |
| Int64 | Algebra.Prelude.Core, Algebra.Prelude |
| Integer | Algebra.Prelude.Core, Algebra.Prelude |
| Integral | Algebra.Prelude.Core, Algebra.Prelude |
| IntegralDomain | Algebra.Prelude.Core, Algebra.Prelude |
| interact | Algebra.Prelude.Core, Algebra.Prelude |
| intercalate | Algebra.Prelude.Core, Algebra.Prelude |
| intersect | |
| 1 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Field.AlgebraicReal |
| intersectBy | Algebra.Prelude.Core, Algebra.Prelude |
| intersection | Algebra.Algorithms.Groebner |
| intersperse | Algebra.Prelude.Core, Algebra.Prelude |
| Interval | |
| 1 (Type/Class) | Algebra.Field.AlgebraicReal |
| 2 (Data Constructor) | Algebra.Field.AlgebraicReal |
| IntMap | Algebra.Prelude.Core, Algebra.Prelude |
| IntSet | Algebra.Prelude.Core, Algebra.Prelude |
| inv | Algebra.Prelude.Core, Algebra.Prelude |
| inverse | Algebra.Matrix |
| inverseWith | Algebra.Matrix |
| invM | Algebra.Prelude.Core, Algebra.Prelude |
| InvolutiveAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| InvolutiveBialgebra | Algebra.Prelude.Core, Algebra.Prelude |
| InvolutiveCoalgebra | Algebra.Prelude.Core, Algebra.Prelude |
| InvolutiveMultiplication | Algebra.Prelude.Core, Algebra.Prelude |
| InvolutiveSemiring | Algebra.Prelude.Core, Algebra.Prelude |
| IO | Algebra.Prelude.Core, Algebra.Prelude |
| ioeGetErrorString | Algebra.Prelude.Core, Algebra.Prelude |
| ioeGetErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| ioeGetFileName | Algebra.Prelude.Core, Algebra.Prelude |
| ioeGetHandle | Algebra.Prelude.Core, Algebra.Prelude |
| ioeGetLocation | Algebra.Prelude.Core, Algebra.Prelude |
| IOError | Algebra.Prelude.Core, Algebra.Prelude |
| ioError | Algebra.Prelude.Core, Algebra.Prelude |
| IOErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| ioeSetErrorString | Algebra.Prelude.Core, Algebra.Prelude |
| ioeSetErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| ioeSetFileName | Algebra.Prelude.Core, Algebra.Prelude |
| ioeSetHandle | Algebra.Prelude.Core, Algebra.Prelude |
| ioeSetLocation | Algebra.Prelude.Core, Algebra.Prelude |
| IOException | Algebra.Prelude.Core, Algebra.Prelude |
| isAlreadyExistsError | Algebra.Prelude.Core, Algebra.Prelude |
| isAlreadyExistsErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| isAlreadyInUseError | Algebra.Prelude.Core, Algebra.Prelude |
| isAlreadyInUseErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| isAssociate | Algebra.Prelude.Core, Algebra.Prelude |
| isAssociateDefault | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isAssociateIntegral | Algebra.Prelude.Core, Algebra.Prelude |
| isAssociateWhole | Algebra.Prelude.Core, Algebra.Prelude |
| isDenormalized | Algebra.Prelude.Core, Algebra.Prelude |
| isDoesNotExistError | Algebra.Prelude.Core, Algebra.Prelude |
| isDoesNotExistErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| isEmptyIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| isEOFError | Algebra.Prelude.Core, Algebra.Prelude |
| isEOFErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| isFullError | Algebra.Prelude.Core, Algebra.Prelude |
| isFullErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| IsGF' | Algebra.Field.Galois, Algebra.Prelude |
| isGroebnerBasis | Algebra.Algorithms.Groebner |
| isIdealMember | Algebra.Algorithms.Groebner |
| isIEEE | Algebra.Prelude.Core, Algebra.Prelude |
| isIllegalOperation | Algebra.Prelude.Core, Algebra.Prelude |
| isIllegalOperationErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| isInfinite | Algebra.Prelude.Core, Algebra.Prelude |
| isInfixOf | Algebra.Prelude.Core, Algebra.Prelude |
| isJust | Algebra.Prelude.Core, Algebra.Prelude |
| IsMonomialOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isNaN | Algebra.Prelude.Core, Algebra.Prelude |
| isNegativeZero | Algebra.Prelude.Core, Algebra.Prelude |
| isNothing | Algebra.Prelude.Core, Algebra.Prelude |
| IsOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| IsOrderedPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| IsPeano | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| isPermissionError | Algebra.Prelude.Core, Algebra.Prelude |
| isPermissionErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| IsPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isPowerOf | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isPrefixOf | Algebra.Prelude.Core, Algebra.Prelude |
| isPseudoPrime | Algebra.Algorithms.PrimeTest |
| isRadical | Algebra.Algorithms.ZeroDim |
| isRelativelyPrime | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| IsString | Algebra.Prelude.Core, Algebra.Prelude |
| IsStrongMonomialOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isSubsequenceOf | Algebra.Prelude.Core, Algebra.Prelude |
| IsSubsetOf | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| IsSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| isSuffixOf | Algebra.Prelude.Core, Algebra.Prelude |
| IsTrue | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| IsUniqueList | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| isUnit | Algebra.Prelude.Core, Algebra.Prelude |
| isUnitDefault | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| isUserError | Algebra.Prelude.Core, Algebra.Prelude |
| isUserErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| IsZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| isZero | Algebra.Prelude.Core, Algebra.Prelude |
| isZeroDimensional | Algebra.Ring.Polynomial.Quotient |
| iterate | Algebra.Prelude.Core, Algebra.Prelude |
| join | Algebra.Prelude.Core, Algebra.Prelude |
| Just | Algebra.Prelude.Core, Algebra.Prelude |
| karatsuba | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| KnownNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| KnownSymbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| KProxy | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| LabelPolynomial | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| LabPolynomial | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| LabPolynomial' | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| LabUnipol | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| last | Algebra.Prelude.Core, Algebra.Prelude |
| LByteString | Algebra.Prelude.Core, Algebra.Prelude |
| lcm | Algebra.Prelude.Core, Algebra.Prelude |
| lcmMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| lcmPolynomial | Algebra.Algorithms.Groebner |
| leadingCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| leadingMonomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| leadingTerm | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| leadingUnit | Algebra.Prelude.Core, Algebra.Prelude |
| Left | Algebra.Prelude.Core, Algebra.Prelude |
| LeftModule | Algebra.Prelude.Core, Algebra.Prelude |
| lefts | Algebra.Prelude.Core, Algebra.Prelude |
| length | Algebra.Prelude.Core, Algebra.Prelude |
| leqAntisymm | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqNeqToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqNeqToSuccLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqRefl | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqReflexive | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqReversed | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqStep | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| LeqSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqSucc' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqSuccStepL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqSuccStepR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqToCmp | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqToGT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqToMax | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqToMin | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqTrans | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| LeqView | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqViewRefl | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqWitness | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| LeqZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| leqZeroElim | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Lex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| lex | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| lift | Algebra.Prelude.Core, Algebra.Prelude |
| liftIO | Algebra.Prelude.Core, Algebra.Prelude |
| liftM | Algebra.Prelude.Core, Algebra.Prelude |
| liftM2 | Algebra.Prelude.Core, Algebra.Prelude |
| liftM3 | Algebra.Prelude.Core, Algebra.Prelude |
| liftM4 | Algebra.Prelude.Core, Algebra.Prelude |
| liftM5 | Algebra.Prelude.Core, Algebra.Prelude |
| liftMap | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| liftMapCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| liftMapUnipol | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| liftNorm | Algebra.Normed, Algebra.Prelude.Core, Algebra.Prelude |
| linearRepGF | Algebra.Field.Galois, Algebra.Prelude |
| linearRepGF' | Algebra.Field.Galois, Algebra.Prelude |
| lines | Algebra.Prelude.Core, Algebra.Prelude |
| listToMaybe | Algebra.Prelude.Core, Algebra.Prelude |
| lneqReversed | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqRightPredSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqSuccLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqSuccStepL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqSuccStepR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| lneqZeroAbsurd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| LocallyFiniteOrder | Algebra.Prelude.Core, Algebra.Prelude |
| LocalRing | Algebra.Prelude.Core, Algebra.Prelude |
| log | Algebra.Prelude.Core, Algebra.Prelude |
| logBase | Algebra.Prelude.Core, Algebra.Prelude |
| logBase2 | Algebra.Prelude.Core, Algebra.Prelude |
| lookup | Algebra.Prelude.Core, Algebra.Prelude |
| lower | Algebra.Field.AlgebraicReal |
| LT | Algebra.Prelude.Core, Algebra.Prelude |
| LText | Algebra.Prelude.Core, Algebra.Prelude |
| ltextToString | Algebra.Prelude.Core, Algebra.Prelude |
| ltRightPredSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltSuccLToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltToLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltToLneq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltToNeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ltToSuccLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Map | Algebra.Prelude.Core, Algebra.Prelude |
| map | Algebra.Prelude.Core, Algebra.Prelude |
| mapAccumL | Algebra.Prelude.Core, Algebra.Prelude |
| mapAccumR | Algebra.Prelude.Core, Algebra.Prelude |
| mapAndUnzipM | Algebra.Prelude.Core, Algebra.Prelude |
| mapCoeff | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| mapCoeff' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| mapCoeffUnipol | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| mapIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| mapM | Algebra.Prelude.Core, Algebra.Prelude |
| mapMaybe | Algebra.Prelude.Core, Algebra.Prelude |
| mapMonomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| mapMonomialMonotonic | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| mapM_ | Algebra.Prelude.Core, Algebra.Prelude |
| mappend | Algebra.Prelude.Core, Algebra.Prelude |
| mask | Algebra.Prelude.Core, Algebra.Prelude |
| mask_ | Algebra.Prelude.Core, Algebra.Prelude |
| matRep0 | Algebra.Ring.Polynomial.Quotient |
| matRepr' | Algebra.Ring.Polynomial.Quotient |
| Matrix | |
| 1 (Type/Class) | Algebra.LinkedMatrix |
| 2 (Type/Class) | Algebra.Matrix |
| matrixRep | Algebra.Algorithms.ZeroDim |
| Max | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| max | Algebra.Prelude.Core, Algebra.Prelude |
| maxBound | Algebra.Prelude.Core, Algebra.Prelude |
| maxComm | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| maximum | Algebra.Prelude.Core, Algebra.Prelude |
| maximumBy | Algebra.Prelude.Core, Algebra.Prelude |
| maxLeast | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| maxLeqL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| maxLeqR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| maxNorm | |
| 1 (Function) | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Function) | Algebra.Matrix |
| maxZeroL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| maxZeroR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Maybe | Algebra.Prelude.Core, Algebra.Prelude |
| maybe | Algebra.Prelude.Core, Algebra.Prelude |
| maybeQuot | Algebra.Prelude.Core, Algebra.Prelude |
| maybeToList | Algebra.Prelude.Core, Algebra.Prelude |
| mconcat | Algebra.Prelude.Core, Algebra.Prelude |
| mempty | Algebra.Prelude.Core, Algebra.Prelude |
| mfilter | Algebra.Prelude.Core, Algebra.Prelude |
| Min | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| min | Algebra.Prelude.Core, Algebra.Prelude |
| minBound | Algebra.Prelude.Core, Algebra.Prelude |
| minComm | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minimizeGroebnerBasis | Algebra.Algorithms.Groebner |
| minimum | Algebra.Prelude.Core, Algebra.Prelude |
| minimumBy | Algebra.Prelude.Core, Algebra.Prelude |
| minLargest | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minLeqL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minLeqR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minPlusTruncMinus | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minpolRecurrent | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| minusCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusCongL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusCongR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusNilpotent | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusPlus | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusRep | Algebra.Prelude.Core, Algebra.Prelude |
| minusSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minusZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minZeroL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| minZeroR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| mkIOError | Algebra.Prelude.Core, Algebra.Prelude |
| mkSNatQQ | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| mod | Algebra.Prelude.Core, Algebra.Prelude |
| modIdeal | Algebra.Ring.Polynomial.Quotient |
| modIdeal' | Algebra.Ring.Polynomial.Quotient |
| modifyIOError | Algebra.Prelude.Core, Algebra.Prelude |
| modNat | Algebra.Field.Finite, Algebra.Prelude |
| modNat' | Algebra.Field.Finite, Algebra.Prelude |
| modPoly | Algebra.Field.Galois, Algebra.Prelude |
| modPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| modPow | Algebra.Algorithms.PrimeTest |
| modRat | Algebra.Field.Finite, Algebra.Prelude |
| modRat' | Algebra.Field.Finite, Algebra.Prelude |
| Module | Algebra.Prelude.Core, Algebra.Prelude |
| modVec | Algebra.Field.Galois, Algebra.Prelude |
| Monad | Algebra.Prelude.Core, Algebra.Prelude |
| MonadIO | Algebra.Prelude.Core, Algebra.Prelude |
| MonadPlus | Algebra.Prelude.Core, Algebra.Prelude |
| Monoid | Algebra.Prelude.Core, Algebra.Prelude |
| Monoidal | Algebra.Prelude.Core, Algebra.Prelude |
| monoize | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Monomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| MonomialOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| monomials | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| MOrder | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| mplus | Algebra.Prelude.Core, Algebra.Prelude |
| msum | Algebra.Prelude.Core, Algebra.Prelude |
| mulRep | Algebra.Prelude.Core, Algebra.Prelude |
| Mult | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| mult | Algebra.Prelude.Core, Algebra.Prelude |
| multAssoc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multComm | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multCongL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multCongR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multEqCancelL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multEqCancelR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multEqSuccElimL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multEqSuccElimR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Multiplicative | Algebra.Prelude.Core, Algebra.Prelude |
| multM | Algebra.Prelude.Core, Algebra.Prelude |
| multOneL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multOneR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multPlusDistrib | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multSuccL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multSuccR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multUnamb | Algebra.Ring.Polynomial.Quotient |
| multWithTable | Algebra.Ring.Polynomial.Quotient |
| multWithVector | Algebra.LinkedMatrix |
| multZeroL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| multZeroR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| mzero | Algebra.Prelude.Core, Algebra.Prelude |
| naiveMult | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| Nat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Natural | Algebra.Prelude.Core, Algebra.Prelude |
| naturalRepr | Algebra.Field.Finite, Algebra.Prelude |
| natVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| natVal' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ncols | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| Negate | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| negate | Algebra.Prelude.Core, Algebra.Prelude |
| negateRep | Algebra.Prelude.Core, Algebra.Prelude |
| Negative | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| NilL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| NilR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| nonZeroCols | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| nonZeroEntries | Algebra.LinkedMatrix |
| nonZeroRows | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| Norm | Algebra.Normed, Algebra.Prelude.Core, Algebra.Prelude |
| norm | Algebra.Normed, Algebra.Prelude.Core, Algebra.Prelude |
| normaliseUnit | Algebra.Prelude.Core, Algebra.Prelude |
| normalize | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| NormalStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner |
| Normed | Algebra.Normed, Algebra.Prelude.Core, Algebra.Prelude |
| not | Algebra.Prelude.Core, Algebra.Prelude |
| notElem | Algebra.Prelude.Core, Algebra.Prelude |
| Nothing | Algebra.Prelude.Core, Algebra.Prelude |
| notLeqToLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| nrows | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| nthRoot | Algebra.Field.AlgebraicReal |
| nthRoot' | Algebra.Field.AlgebraicReal |
| nub | Algebra.Prelude.Core, Algebra.Prelude |
| nubBy | Algebra.Prelude.Core, Algebra.Prelude |
| null | Algebra.Prelude.Core, Algebra.Prelude |
| Num | Algebra.Prelude.Core, Algebra.Prelude |
| numerator | Algebra.Prelude.Core, Algebra.Prelude |
| od | Algebra.Prelude.Core, Algebra.Prelude |
| odd | Algebra.Prelude.Core, Algebra.Prelude |
| OLt | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| on | Algebra.Prelude.Core, Algebra.Prelude |
| One | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| one | Algebra.Prelude.Core, Algebra.Prelude |
| OneCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| oneNorm | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| oneRep | Algebra.Prelude.Core, Algebra.Prelude |
| onException | Algebra.Prelude.Core, Algebra.Prelude |
| or | Algebra.Prelude.Core, Algebra.Prelude |
| Ord | Algebra.Prelude.Core, Algebra.Prelude |
| order | Algebra.Field.Finite, Algebra.Prelude |
| orderedBy | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| OrderedMonomial | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| orderedMonomials | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| OrderedPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| OrderedRig | Algebra.Prelude.Core, Algebra.Prelude |
| Ordering | Algebra.Prelude.Core, Algebra.Prelude |
| orderMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Ordinal | Algebra.Prelude.Core, Algebra.Prelude |
| otherwise | Algebra.Prelude.Core, Algebra.Prelude |
| padeApprox | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| padLeftPoly | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| PadPolyL | |
| 1 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| padVecs | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| partition | Algebra.Prelude.Core, Algebra.Prelude |
| Partitionable | Algebra.Prelude.Core, Algebra.Prelude |
| partitionEithers | Algebra.Prelude.Core, Algebra.Prelude |
| partitionWith | Algebra.Prelude.Core, Algebra.Prelude |
| pDivModPoly | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| PeanoOrder | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| PEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| permissionErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| permutations | Algebra.Prelude.Core, Algebra.Prelude |
| pi | Algebra.Prelude.Core, Algebra.Prelude |
| PID | Algebra.Prelude.Core, Algebra.Prelude |
| plusAssoc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusCancelLeqL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusCancelLeqR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusComm | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusCongL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusCongR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusEqCancelL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusEqCancelR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusEqZeroL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusEqZeroR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusLeqL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusLeqR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMinus | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMinus' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMonotone | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMonotoneL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMonotoneR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusMultDistrib | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusStrictMonotone | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusSuccL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusSuccR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusZeroL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| plusZeroR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| PNum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Polynomial | |
| 1 (Type/Class) | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| polynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| polynomial' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| POrd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Positive | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| pow | Algebra.Prelude.Core, Algebra.Prelude |
| pow1p | Algebra.Prelude.Core, Algebra.Prelude |
| pow1pBand | Algebra.Prelude.Core, Algebra.Prelude |
| powBand | Algebra.Prelude.Core, Algebra.Prelude |
| power | Algebra.Field.Finite, Algebra.Prelude |
| pp | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Pred | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| pred | Algebra.Prelude.Core, Algebra.Prelude |
| predSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| predUnique | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| presultant | Algebra.Field.AlgebraicReal |
| PrettyCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| primeTestBuchberger | Algebra.Algorithms.Groebner |
| primitive | Algebra.Field.Galois, Algebra.Prelude |
| principalIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| Algebra.Prelude.Core, Algebra.Prelude | |
| product | Algebra.Prelude.Core, Algebra.Prelude |
| product1 | Algebra.Prelude.Core, Algebra.Prelude |
| ProductOrder | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| productOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| productOrder' | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| productWith | Algebra.Prelude.Core, Algebra.Prelude |
| productWith1 | Algebra.Prelude.Core, Algebra.Prelude |
| properFraction | Algebra.Prelude.Core, Algebra.Prelude |
| Proxy | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| prs | Algebra.Prelude.Core, Algebra.Prelude |
| pure | Algebra.Prelude.Core, Algebra.Prelude |
| putChar | Algebra.Prelude.Core, Algebra.Prelude |
| putStr | Algebra.Prelude.Core, Algebra.Prelude |
| putStrLn | Algebra.Prelude.Core, Algebra.Prelude |
| QIdeal | Algebra.Ring.Polynomial.Quotient |
| Quadrance | Algebra.Prelude.Core, Algebra.Prelude |
| quadrance | Algebra.Prelude.Core, Algebra.Prelude |
| quot | Algebra.Prelude.Core, Algebra.Prelude |
| quotByPrincipalIdeal | Algebra.Algorithms.Groebner |
| quotIdeal | Algebra.Algorithms.Groebner |
| Quotient | Algebra.Ring.Polynomial.Quotient |
| quotRepr | Algebra.Ring.Polynomial.Quotient |
| radical | Algebra.Algorithms.ZeroDim |
| rankLM | Algebra.LinkedMatrix |
| rankWith | Algebra.Matrix |
| Ratio | Algebra.Prelude.Core, Algebra.Prelude |
| Rational | Algebra.Prelude.Core, Algebra.Prelude |
| rationalChineseRemainder | Algebra.Algorithms.ChineseRemainder |
| Read | Algebra.Prelude.Core, Algebra.Prelude |
| readArgs | Algebra.Prelude.Core, Algebra.Prelude |
| readFile | Algebra.Prelude.Core, Algebra.Prelude |
| readIO | Algebra.Prelude.Core, Algebra.Prelude |
| readList | Algebra.Prelude.Core, Algebra.Prelude |
| readLn | Algebra.Prelude.Core, Algebra.Prelude |
| readMay | Algebra.Prelude.Core, Algebra.Prelude |
| readParen | Algebra.Prelude.Core, Algebra.Prelude |
| ReadS | Algebra.Prelude.Core, Algebra.Prelude |
| reads | Algebra.Prelude.Core, Algebra.Prelude |
| readsPrec | Algebra.Prelude.Core, Algebra.Prelude |
| Real | Algebra.Prelude.Core, Algebra.Prelude |
| RealFloat | Algebra.Prelude.Core, Algebra.Prelude |
| RealFrac | Algebra.Prelude.Core, Algebra.Prelude |
| realPartPoly | Algebra.Field.AlgebraicReal |
| realRoots | Algebra.Field.AlgebraicReal |
| realToFrac | Algebra.Prelude.Core, Algebra.Prelude |
| recip | Algebra.Prelude.Core, Algebra.Prelude |
| recipriocal | Algebra.Prelude.Core, Algebra.Prelude |
| recipUnit | Algebra.Prelude.Core, Algebra.Prelude |
| recipUnitDefault | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| recipUnitIntegral | Algebra.Prelude.Core, Algebra.Prelude |
| recipUnitWhole | Algebra.Prelude.Core, Algebra.Prelude |
| recoverRat | Algebra.Algorithms.ChineseRemainder |
| reduce | Algebra.Ring.Polynomial.Quotient |
| reduceFraction | Algebra.Prelude.Core, Algebra.Prelude |
| reduceMinimalGroebnerBasis | Algebra.Algorithms.Groebner |
| reduction | Algebra.Algorithms.ZeroDim |
| Refl | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| reifyGF' | Algebra.Field.Galois, Algebra.Prelude |
| reifyPrimeField | Algebra.Field.Finite, Algebra.Prelude |
| reifyQuotient | Algebra.Ring.Polynomial.Quotient |
| rem | Algebra.Prelude.Core, Algebra.Prelude |
| repeat | Algebra.Prelude.Core, Algebra.Prelude |
| repeatedSquare | Algebra.Algorithms.PrimeTest |
| replicate | Algebra.Prelude.Core, Algebra.Prelude |
| replicateM | Algebra.Prelude.Core, Algebra.Prelude |
| replicateM_ | Algebra.Prelude.Core, Algebra.Prelude |
| representative | Algebra.Field.AlgebraicReal |
| resultant | Algebra.Algorithms.Groebner |
| return | Algebra.Prelude.Core, Algebra.Prelude |
| reversal | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| reverse | Algebra.Prelude.Core, Algebra.Prelude |
| Revlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| revlex | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| Rig | Algebra.Prelude.Core, Algebra.Prelude |
| Right | Algebra.Prelude.Core, Algebra.Prelude |
| RightModule | Algebra.Prelude.Core, Algebra.Prelude |
| rights | Algebra.Prelude.Core, Algebra.Prelude |
| Ring | Algebra.Prelude.Core, Algebra.Prelude |
| Rng | Algebra.Prelude.Core, Algebra.Prelude |
| round | Algebra.Prelude.Core, Algebra.Prelude |
| rowCount | Algebra.LinkedMatrix |
| rowVector | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| runAdd | Algebra.Prelude.Core, Algebra.Prelude |
| runMult | Algebra.Prelude.Core, Algebra.Prelude |
| runPadPolyL | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| runScalar | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
| S | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sAbs | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sameNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sameSymbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sArity | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| sArity' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| saturationByPrincipalIdeal | Algebra.Algorithms.Groebner |
| saturationIdeal | Algebra.Algorithms.Groebner |
| Scalar | |
| 1 (Type/Class) | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
| scaleCol | Algebra.LinkedMatrix |
| scaleFloat | Algebra.Prelude.Core, Algebra.Prelude |
| scaleRow | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| scanl | Algebra.Prelude.Core, Algebra.Prelude |
| scanl' | Algebra.Prelude.Core, Algebra.Prelude |
| scanl1 | Algebra.Prelude.Core, Algebra.Prelude |
| scanr | Algebra.Prelude.Core, Algebra.Prelude |
| scanr1 | Algebra.Prelude.Core, Algebra.Prelude |
| scastMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| scastPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| sCompare | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| second | Algebra.Prelude.Core, Algebra.Prelude |
| SelectionStrategy | Algebra.Algorithms.Groebner |
| Semiring | Algebra.Prelude.Core, Algebra.Prelude |
| SEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sEnumFromThenTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sEnumFromTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Seq | Algebra.Prelude.Core, Algebra.Prelude |
| seq | Algebra.Prelude.Core, Algebra.Prelude |
| sequence | Algebra.Prelude.Core, Algebra.Prelude |
| sequenceA | Algebra.Prelude.Core, Algebra.Prelude |
| sequence_ | Algebra.Prelude.Core, Algebra.Prelude |
| Set | Algebra.Prelude.Core, Algebra.Prelude |
| SFalse | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sFlipOrdering | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sFromEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sFromInteger | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| shiftR | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| Show | Algebra.Prelude.Core, Algebra.Prelude |
| show | Algebra.Prelude.Core, Algebra.Prelude |
| showChar | Algebra.Prelude.Core, Algebra.Prelude |
| showList | Algebra.Prelude.Core, Algebra.Prelude |
| showParen | Algebra.Prelude.Core, Algebra.Prelude |
| showPolynomialWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| ShowS | Algebra.Prelude.Core, Algebra.Prelude |
| shows | Algebra.Prelude.Core, Algebra.Prelude |
| ShowSCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| showsCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| showsCoeffAsTerm | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| showsCoeffWithOp | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| showsPolynomialWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| showsPrec | Algebra.Prelude.Core, Algebra.Prelude |
| showString | Algebra.Prelude.Core, Algebra.Prelude |
| ShowType | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| significand | Algebra.Prelude.Core, Algebra.Prelude |
| Signum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| signum | Algebra.Prelude.Core, Algebra.Prelude |
| simpleBuchberger | Algebra.Algorithms.Groebner |
| sin | Algebra.Prelude.Core, Algebra.Prelude |
| sIndex | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Sing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SingI | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SingKind | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| singleton | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sinh | Algebra.Prelude.Core, Algebra.Prelude |
| sinnum | Algebra.Prelude.Core, Algebra.Prelude |
| sinnum1p | Algebra.Prelude.Core, Algebra.Prelude |
| sinnum1pIdempotent | Algebra.Prelude.Core, Algebra.Prelude |
| sinnum1pRep | Algebra.Prelude.Core, Algebra.Prelude |
| sinnumIdempotent | Algebra.Prelude.Core, Algebra.Prelude |
| sinnumRep | Algebra.Prelude.Core, Algebra.Prelude |
| Sized | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Sized' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sizedLength | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sLeqCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sLeqCongL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sLeqCongR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sMax | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sMin | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sNatToInt | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| snd | Algebra.Prelude.Core, Algebra.Prelude |
| sNegate | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SNum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| solve' | Algebra.Algorithms.ZeroDim |
| solveHensel | Algebra.LinkedMatrix |
| solveLinear | Algebra.Algorithms.ZeroDim |
| solveM | Algebra.Algorithms.ZeroDim |
| solveViaCompanion | Algebra.Algorithms.ZeroDim |
| solveWiedemann | Algebra.LinkedMatrix |
| solveWith | Algebra.Algorithms.ZeroDim |
| SomeException | Algebra.Prelude.Core, Algebra.Prelude |
| SomeNat | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| someNatVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SomeSing | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SomeSymbol | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| someSymbolVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sOne | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sOnes | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| SOrd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sort | Algebra.Prelude.Core, Algebra.Prelude |
| sortBy | Algebra.Prelude.Core, Algebra.Prelude |
| sortOn | Algebra.Prelude.Core, Algebra.Prelude |
| span | Algebra.Prelude.Core, Algebra.Prelude |
| splitAt | Algebra.Prelude.Core, Algebra.Prelude |
| splitIndependentDirs | Algebra.LinkedMatrix |
| splitUnit | Algebra.Prelude.Core, Algebra.Prelude |
| splitUnitDefault | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| sPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| sPred | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sPred' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sqFreePart | Algebra.Field.AlgebraicReal |
| sqrt | Algebra.Prelude.Core, Algebra.Prelude |
| squareFreeDecomp | Algebra.Ring.Polynomial.Factorise |
| squareFreePart | Algebra.Ring.Polynomial.Factorise |
| sSignum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| standardMonomials | Algebra.Ring.Polynomial.Quotient |
| standardMonomials' | Algebra.Ring.Polynomial.Quotient |
| start | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| sToEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Storable | Algebra.Prelude.Core, Algebra.Prelude |
| String | Algebra.Prelude.Core, Algebra.Prelude |
| stripPrefix | Algebra.Prelude.Core, Algebra.Prelude |
| structuredGauss | Algebra.LinkedMatrix |
| structuredGauss' | Algebra.LinkedMatrix |
| STrue | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| strum | Algebra.Field.AlgebraicReal |
| subsequences | Algebra.Prelude.Core, Algebra.Prelude |
| subspMatrix | Algebra.Algorithms.ZeroDim |
| subst | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| substCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| substMatrix | Algebra.LinkedMatrix |
| substUnivariate | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| substVar | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| substWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| subtract | Algebra.Prelude.Core, Algebra.Prelude |
| subtractRep | Algebra.Prelude.Core, Algebra.Prelude |
| Succ | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succ | Algebra.Prelude.Core, Algebra.Prelude |
| succAndPlusOneL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succAndPlusOneR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succInj | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succInj' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLeqAbsurd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLeqAbsurd' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLeqToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLeqZeroAbsurd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLeqZeroAbsurd' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succLneqSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succNonCyclic | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succOneCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| succPred | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| SugarStrategy | |
| 1 (Type/Class) | Algebra.Algorithms.Groebner |
| 2 (Data Constructor) | Algebra.Algorithms.Groebner |
| sum | Algebra.Prelude.Core, Algebra.Prelude |
| sum1 | Algebra.Prelude.Core, Algebra.Prelude |
| sumWith | Algebra.Prelude.Core, Algebra.Prelude |
| sumWith1 | Algebra.Prelude.Core, Algebra.Prelude |
| SVector | Algebra.Prelude.Core, Algebra.Prelude |
| swap | Algebra.Prelude.Core, Algebra.Prelude |
| swapCols | Algebra.LinkedMatrix |
| swapRows | Algebra.LinkedMatrix |
| switchCols | Algebra.LinkedMatrix |
| switchRows | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| Symbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| symbolVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| symbolVal' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| syzygyBuchberger | Algebra.Algorithms.Groebner |
| syzygyBuchbergerWithStrategy | Algebra.Algorithms.Groebner |
| sZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| tail | Algebra.Prelude.Core, Algebra.Prelude |
| tails | Algebra.Prelude.Core, Algebra.Prelude |
| take | Algebra.Prelude.Core, Algebra.Prelude |
| takeWhile | Algebra.Prelude.Core, Algebra.Prelude |
| tan | Algebra.Prelude.Core, Algebra.Prelude |
| tanh | Algebra.Prelude.Core, Algebra.Prelude |
| terms | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| terms' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| terror | Algebra.Prelude.Core, Algebra.Prelude |
| Text | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| textToString | Algebra.Prelude.Core, Algebra.Prelude |
| thEliminationIdeal | Algebra.Algorithms.Groebner |
| thEliminationIdealWith | Algebra.Algorithms.Groebner |
| throwIO | Algebra.Prelude.Core, Algebra.Prelude |
| times | Algebra.Prelude.Core, Algebra.Prelude |
| timesRep | Algebra.Prelude.Core, Algebra.Prelude |
| toCols | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| ToEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| toEnum | Algebra.Prelude.Core, Algebra.Prelude |
| toException | Algebra.Prelude.Core, Algebra.Prelude |
| toIdeal | Algebra.Ring.Ideal, Algebra.Prelude.Core, Algebra.Prelude |
| toInteger | Algebra.Prelude.Core, Algebra.Prelude |
| toLists | Algebra.LinkedMatrix |
| toPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| toPolynomial' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| toProxy | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| toRational | Algebra.Prelude.Core, Algebra.Prelude |
| toRows | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| toSing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| totalDegree | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| totalDegree' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| trace | |
| 1 (Function) | Algebra.LinkedMatrix |
| 2 (Function) | Algebra.Matrix |
| trans | Algebra.Matrix |
| transformMonomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| transpose | |
| 1 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.LinkedMatrix |
| Traversable | Algebra.Prelude.Core, Algebra.Prelude |
| traverse | Algebra.Prelude.Core, Algebra.Prelude |
| traverseCol | Algebra.LinkedMatrix |
| traverseRow | Algebra.LinkedMatrix |
| triangulateModular | Algebra.LinkedMatrix |
| TriviallyInvolutive | Algebra.Prelude.Core, Algebra.Prelude |
| TriviallyInvolutiveAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| TriviallyInvolutiveBialgebra | Algebra.Prelude.Core, Algebra.Prelude |
| TriviallyInvolutiveCoalgebra | Algebra.Prelude.Core, Algebra.Prelude |
| True | Algebra.Prelude.Core, Algebra.Prelude |
| truncate | Algebra.Prelude.Core, Algebra.Prelude |
| truncMinusLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| try | Algebra.Prelude.Core, Algebra.Prelude |
| tryDiv | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| tryIOError | Algebra.Prelude.Core, Algebra.Prelude |
| tryJust | Algebra.Prelude.Core, Algebra.Prelude |
| tshow | Algebra.Prelude.Core, Algebra.Prelude |
| Typeable | Algebra.Prelude.Core, Algebra.Prelude |
| TypeError | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| UFD | Algebra.Prelude.Core, Algebra.Prelude |
| Unbox | Algebra.Prelude.Core, Algebra.Prelude |
| uncons | Algebra.Prelude.Core, Algebra.Prelude |
| uncurry | Algebra.Prelude.Core, Algebra.Prelude |
| undefined | Algebra.Prelude.Core, Algebra.Prelude |
| unfoldr | Algebra.Prelude.Core, Algebra.Prelude |
| unhomogenize | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| uninterruptibleMask | Algebra.Prelude.Core, Algebra.Prelude |
| uninterruptibleMask_ | Algebra.Prelude.Core, Algebra.Prelude |
| union | Algebra.Prelude.Core, Algebra.Prelude |
| unionBy | Algebra.Prelude.Core, Algebra.Prelude |
| Unipol | Algebra.Ring.Polynomial.Univariate, Algebra.Prelude |
| unit | Algebra.Prelude.Core, Algebra.Prelude |
| Unital | Algebra.Prelude.Core, Algebra.Prelude |
| UnitalAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| unitM | Algebra.Prelude.Core, Algebra.Prelude |
| UnitNormalForm | Algebra.Prelude.Core, Algebra.Prelude |
| univPoly | Algebra.Algorithms.ZeroDim |
| unLabelPolynomial | Algebra.Ring.Polynomial.Labeled, Algebra.Prelude |
| unless | Algebra.Prelude.Core, Algebra.Prelude |
| unlines | Algebra.Prelude.Core, Algebra.Prelude |
| unsafeFromList | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| unsafeFromList' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| unsafeThEliminationIdealWith | Algebra.Algorithms.Groebner |
| until | Algebra.Prelude.Core, Algebra.Prelude |
| unwords | Algebra.Prelude.Core, Algebra.Prelude |
| unwrapAlgebra | Algebra.Prelude.Core, Algebra.Prelude |
| unwrapFractional | Algebra.Prelude.Core, Algebra.Prelude |
| unwrapIntegral | Algebra.Prelude.Core, Algebra.Prelude |
| unwrapNum | Algebra.Prelude.Core, Algebra.Prelude |
| unzip | Algebra.Prelude.Core, Algebra.Prelude |
| unzip3 | Algebra.Prelude.Core, Algebra.Prelude |
| unzip4 | Algebra.Prelude.Core, Algebra.Prelude |
| unzip5 | Algebra.Prelude.Core, Algebra.Prelude |
| unzip6 | Algebra.Prelude.Core, Algebra.Prelude |
| unzip7 | Algebra.Prelude.Core, Algebra.Prelude |
| upper | Algebra.Field.AlgebraicReal |
| userError | Algebra.Prelude.Core, Algebra.Prelude |
| userErrorType | Algebra.Prelude.Core, Algebra.Prelude |
| UVector | Algebra.Prelude.Core, Algebra.Prelude |
| value | Algebra.LinkedMatrix |
| Vanished | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| var | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| varMonom | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| vars | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| varX | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| Vector | Algebra.Prelude.Core, Algebra.Prelude |
| vectorRep | Algebra.Ring.Polynomial.Quotient, Algebra.Algorithms.ZeroDim |
| viewLeq | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| void | Algebra.Prelude.Core, Algebra.Prelude |
| Weight | Algebra.Algorithms.Groebner |
| WeightedEliminationOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| weightedEliminationOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| WeightOrder | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| weightOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| WeightProxy | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| when | Algebra.Prelude.Core, Algebra.Prelude |
| width | Algebra.LinkedMatrix |
| withGF' | Algebra.Field.Galois, Algebra.Prelude |
| withIrreducible | Algebra.Field.Galois, Algebra.Prelude |
| withKnownNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| withPrimeField | Algebra.Field.Finite, Algebra.Prelude |
| withQuotient | Algebra.Ring.Polynomial.Quotient |
| withRefl | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| withSingI | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| withStrongMonomialOrder | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| withWitness | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Witness | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| Word | Algebra.Prelude.Core, Algebra.Prelude |
| Word32 | Algebra.Prelude.Core, Algebra.Prelude |
| Word64 | Algebra.Prelude.Core, Algebra.Prelude |
| Word8 | Algebra.Prelude.Core, Algebra.Prelude |
| words | Algebra.Prelude.Core, Algebra.Prelude |
| WrapAlgebra | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| WrapFractional | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| WrapIntegral | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| WrapNum | |
| 1 (Data Constructor) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Prelude.Core, Algebra.Prelude |
| writeFile | Algebra.Prelude.Core, Algebra.Prelude |
| Zero | |
| 1 (Data Constructor) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| zero | |
| 1 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Matrix |
| zeroMat | Algebra.LinkedMatrix |
| zeroNoLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ZeroOrSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| zeroOrSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| ZeroProductSemiring | Algebra.Prelude.Core, Algebra.Prelude |
| zeroRep | Algebra.Prelude.Core, Algebra.Prelude |
| zip | Algebra.Prelude.Core, Algebra.Prelude |
| zip3 | Algebra.Prelude.Core, Algebra.Prelude |
| zip4 | Algebra.Prelude.Core, Algebra.Prelude |
| zip5 | Algebra.Prelude.Core, Algebra.Prelude |
| zip6 | Algebra.Prelude.Core, Algebra.Prelude |
| zip7 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith3 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith4 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith5 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith6 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWith7 | Algebra.Prelude.Core, Algebra.Prelude |
| zipWithM | Algebra.Prelude.Core, Algebra.Prelude |
| zipWithM_ | Algebra.Prelude.Core, Algebra.Prelude |
| zipWithSame | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| \\ | Algebra.Prelude.Core, Algebra.Prelude |
| ^ | |
| 1 (Type/Class) | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
| 2 (Function) | Algebra.Prelude.Core, Algebra.Prelude |
| ^? | Algebra.Prelude.Core, Algebra.Prelude |
| ^^ | Algebra.Prelude.Core, Algebra.Prelude |
| _Terms | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| _terms | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
| _Terms' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
| || | Algebra.Prelude.Core, Algebra.Prelude |