HCube.OrientGroup

Orientation group is used to represent orientation of cubies, and cube as a whole.

Documentation

class Monoid a => Group a where

Logical extension of Monoid to a group.

Methods

inv :: a -> a

Instances

Group Orient

data Orient

Representation of Cubie orientation.

Constructors

Orient [Vec]

Instances

Eq Orient

Read Orient

Show Orient

Monoid Orient

Group Orient

cons :: Char -> Orient

Constructs an element of the orientation group from the name.

to :: Orient -> Matrix

Maps an element of the orientation group to a matrix. Orient tranformation matrix is determined by specifing, (1,0,0) goes to v1 and (0,1,0) goes to v2.

eid :: Orient -> Char

Gives the name of an element of the orientation group.

getVec :: Orient -> [Vec]

Two vector representation of orientation.

vecToSide :: Vec -> Side

Inverse of sideToVec.

sideToVec :: Side -> Vec

Associates a side to a vector.

rawToOrientNumber :: Numb -> Numb

Raw number is an intermediate step in associating two vectors to an orientation. The orientation number 1 corresponds to an orientation of ''a'' and so on.

orientNumberToRaw :: Numb -> Numb

Inverse of rawToOrientNumber

rawOrientNum :: Orient -> Numb

Converts the orientation to the raw orientation number.

spanDomain :: (Enum a, Num a, Ord b) => (Orient -> b) -> [(a, b)]

Maps a function of orientation over orient domain.

vecToColor :: Vec -> Color

Inverse of colorToVec.

colorToVec :: Color -> Vec

Gives the color of the side identified by the vector, in a solved state.

orientChrDomain :: [Char]

List of names for elements of the orientation group.