Math.Algebra.Polynomial.Pretty

Pretty-printing.

Tip: you can try putting something like this into your .ghci file to make life more convenient:

:m    +Math.Algebra.Polynomial.Pretty  
:seti -interactive-print=prettyPrint

Documentation

class Pretty a where

Minimal complete definition

pretty

Methods

pretty :: a -> String

prettyInParens :: a -> String

Instances

Pretty Int

Defined in Math.Algebra.Polynomial.Pretty

Methods

pretty :: Int -> String

prettyInParens :: Int -> String

Pretty Integer

Defined in Math.Algebra.Polynomial.Pretty

Methods

pretty :: Integer -> String

prettyInParens :: Integer -> String

Pretty Index

Defined in Math.Algebra.Polynomial.Class

Methods

pretty :: Index -> String

prettyInParens :: Index -> String

Pretty FallingF

Defined in Math.Algebra.Polynomial.Univariate.Pochhammer

Methods

pretty :: FallingF -> String

prettyInParens :: FallingF -> String

Pretty RisingF

Defined in Math.Algebra.Polynomial.Univariate.Pochhammer

Methods

pretty :: RisingF -> String

prettyInParens :: RisingF -> String

(Eq a, Num a, Pretty a) => Pretty (Ratio a)

Defined in Math.Algebra.Polynomial.Pretty

Methods

pretty :: Ratio a -> String

prettyInParens :: Ratio a -> String

KnownSymbol var => Pretty (U var)

Defined in Math.Algebra.Polynomial.Monomial.Univariate

Methods

pretty :: U var -> String

prettyInParens :: U var -> String

KnownSymbol var => Pretty (XInf var)

Defined in Math.Algebra.Polynomial.Monomial.Infinite

Methods

pretty :: XInf var -> String

prettyInParens :: XInf var -> String

Pretty v => Pretty (Monom v)

Defined in Math.Algebra.Polynomial.Monomial.Generic

Methods

pretty :: Monom v -> String

prettyInParens :: Monom v -> String

(Num c, Eq c, Pretty c, IsSigned c, Pretty b) => Pretty (FreeMod c b)

Defined in Math.Algebra.Polynomial.Pretty

Methods

pretty :: FreeMod c b -> String

prettyInParens :: FreeMod c b -> String

KnownSymbol var => Pretty (XS var n)

Defined in Math.Algebra.Polynomial.Monomial.Indexed

Methods

pretty :: XS var n -> String

prettyInParens :: XS var n -> String

(Ring c, KnownSymbol v, Pretty (XInf v)) => Pretty (Poly c v)

Defined in Math.Algebra.Polynomial.Multivariate.Infinite

Methods

pretty :: Poly c v -> String

prettyInParens :: Poly c v -> String

(Ring c, Ord v, Pretty v, Pretty (Monom v)) => Pretty (Poly c v)

Defined in Math.Algebra.Polynomial.Multivariate.Generic

Methods

pretty :: Poly c v -> String

prettyInParens :: Poly c v -> String

KnownSymbol var => Pretty (SgnExt var n)

Defined in Math.Algebra.Polynomial.Monomial.Exterior.Indexed

Methods

pretty :: SgnExt var n -> String

prettyInParens :: SgnExt var n -> String

KnownSymbol var => Pretty (Ext var n)

Defined in Math.Algebra.Polynomial.Monomial.Exterior.Indexed

Methods

pretty :: Ext var n -> String

prettyInParens :: Ext var n -> String

KnownSymbol var => Pretty (Compact var n)

Defined in Math.Algebra.Polynomial.Monomial.Compact

Methods

pretty :: Compact var n -> String

prettyInParens :: Compact var n -> String

(Ring c, KnownSymbol v) => Pretty (Univariate c v)

Defined in Math.Algebra.Polynomial.Univariate

Methods

pretty :: Univariate c v -> String

prettyInParens :: Univariate c v -> String

(KnownSymbol sym, Pretty a, Pretty b) => Pretty (Tensor sym a b)

Defined in Math.Algebra.Polynomial.Monomial.Tensor

Methods

pretty :: Tensor sym a b -> String

prettyInParens :: Tensor sym a b -> String

(Ring c, KnownSymbol v, KnownNat n, Pretty (XS v n)) => Pretty (Poly c v n)

Defined in Math.Algebra.Polynomial.Multivariate.Indexed

Methods

pretty :: Poly c v n -> String

prettyInParens :: Poly c v n -> String

(Ring c, KnownSymbol v, KnownNat n, Pretty (Compact v n)) => Pretty (Poly c v n)

Defined in Math.Algebra.Polynomial.Multivariate.Compact

Methods

pretty :: Poly c v n -> String

prettyInParens :: Poly c v n -> String

(Ring c, KnownSymbol v, KnownNat n, Pretty (Ext v n)) => Pretty (ExtAlg c v n)

Defined in Math.Algebra.Polynomial.Exterior.Indexed

Methods

pretty :: ExtAlg c v n -> String

prettyInParens :: ExtAlg c v n -> String

prettyPrint :: Pretty a => a -> IO ()

Pretty printing elements of free modules

showVarPower :: String -> Int -> String

Example: showVarPower "x" 5 == "x^5"

prettyZMod_ :: (b -> String) -> ZMod b -> String

no multiplication sign (ok for mathematica and humans)

prettyZMod :: (b -> String) -> ZMod b -> String

multiplication sign (ok for maple etc)

prettyFreeMod'

Arguments

:: (Num c, Eq c, IsSigned c, Pretty c)

=> Bool

use star for multiplication (False means just concatenation)

-> (b -> String)

show base

-> FreeMod c b

-> String

prettyFreeMod''

Arguments

:: (c -> String)

show coefficient

-> (b -> String)

show base

-> FreeMod c b

-> String