constructive-algebra-0.1.2: examples/Z_Examples.hs

{-# LANGUAGE TypeSynonymInstances #-}
module Z_Examples where

import Test.QuickCheck

import Algebra.Structures.BezoutDomain
import Algebra.Structures.StronglyDiscrete
import Algebra.Structures.Coherent
import Algebra.Ideal
import Algebra.Matrix
import Algebra.Z


-------------------------------------------------------------------------------
-- Bezout domain examples

ex1, ex2 :: (Ideal Z, [Z], [Z])
ex1 = toPrincipal (Id [4,6])
ex2 = toPrincipal (Id [2,3])

ex3, ex4 :: Ideal Z
ex3 = Id [2] `intersectionB` Id [3]
ex4 = Id [2,3] `intersectionB` Id [3]


-------------------------------------------------------------------------------
-- Strong discreteness

ex5 :: Maybe [Z]
ex5 = member 2 ex3


-------------------------------------------------------------------------------
-- Solving equations

ex6 :: Matrix Z
ex6 = solve (Vec [1,2,3])


-------------------------------------------------------------------------------
-- PLM

ex7 :: Matrix Z
ex7 = computePLM_B (Id [2,3,4])