Math.RootLoci.Misc.Pretty

Pretty-printing

Documentation

class Pretty a where

Minimal complete definition

pretty

Methods

pretty :: a -> String

Instances

Pretty Schur

Methods

pretty :: Schur -> String

Pretty Chern

Methods

pretty :: Chern -> String

Pretty AB

Methods

pretty :: AB -> String

Pretty HS

Methods

pretty :: HS -> String

Pretty US

Methods

pretty :: US -> String

Pretty G

Methods

pretty :: G -> String

Pretty H

Methods

pretty :: H -> String

Pretty U

Methods

pretty :: U -> String

Pretty FallingF

Methods

pretty :: FallingF -> String

Pretty RisingF

Methods

pretty :: RisingF -> String

Pretty X

Methods

pretty :: X -> String

Pretty QPow

Methods

pretty :: QPow -> String

Pretty ST

Methods

pretty :: ST -> String

(Pretty ab, Monoid ab, Eq ab) => Pretty (Gam ab)

Methods

pretty :: Gam ab -> String

(Pretty ab, Monoid ab, Eq ab) => Pretty (Eta ab)

Methods

pretty :: Eta ab -> String

(Pretty ab, Monoid ab, Eq ab) => Pretty (Omega ab)

Methods

pretty :: Omega ab -> String

(Num c, Show c, Eq c, IsSigned c) => Pretty (FallingPoly c)

Methods

pretty :: FallingPoly c -> String

(Num c, Show c, Eq c, IsSigned c) => Pretty (RisingPoly c)

Methods

pretty :: RisingPoly c -> String

(Num c, Show c, Eq c, IsSigned c) => Pretty (Poly c)

Methods

pretty :: Poly c -> String

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

Methods

pretty :: FreeMod c b -> String

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, Show c, IsSigned 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

Utility

paren :: String -> String

Put into parentheses

expFormString :: Partition -> String

Exponential form of a partition

extendStringL :: Int -> String -> String

extendStringR :: Int -> String -> String

Mathematica-formatted output

class Mathematica a where

Minimal complete definition

mathematica

Methods

mathematica :: a -> String

Instances

Mathematica Int

Methods

mathematica :: Int -> String

Mathematica Integer

Methods

mathematica :: Integer -> String

Mathematica String

Methods

mathematica :: String -> String

Mathematica Partition

Methods

mathematica :: Partition -> String

Mathematica a => Mathematica (Indexed a)

Methods

mathematica :: Indexed a -> String

data Indexed a

Constructors

Indexed String a

Instances

Mathematica a => Mathematica (Indexed a)

Methods

mathematica :: Indexed a -> String