Constructions of the finite geometries AG(n,Fq) and PG(n,Fq), their points, lines and flats, together with the incidence graphs between points and lines.
- ptsAG :: FiniteField a => Int -> [a] -> [[a]]
- ptsPG :: FiniteField a => Int -> [a] -> [[a]]
- data ZeroOneStar
- flatsPG :: FiniteField a => Int -> [a] -> Int -> [[[a]]]
- flatsAG :: FiniteField a => Int -> [a] -> Int -> [[[a]]]
- linesPG :: FiniteField a => Int -> [a] -> [[[a]]]
- linesAG :: FiniteField a => Int -> [a] -> [[[a]]]
- incidenceGraphPG :: (Ord a, FiniteField a) => Int -> [a] -> Graph (Either [a] [[a]])
- incidenceGraphAG :: (Ord a, FiniteField a) => Int -> [a] -> Graph (Either [a] [[a]])
Documentation
ptsAG :: FiniteField a => Int -> [a] -> [[a]]Source
ptsAG n fq returns the points of the affine geometry AG(n,Fq), where fq are the elements of Fq
ptsPG :: FiniteField a => Int -> [a] -> [[a]]Source
ptsPG n fq returns the points of the projective geometry PG(n,Fq), where fq are the elements of Fq
flatsPG :: FiniteField a => Int -> [a] -> Int -> [[[a]]]Source
flatsPG n fq k returns the k-flats in PG(n,Fq), where fq are the elements of Fq
flatsAG :: FiniteField a => Int -> [a] -> Int -> [[[a]]]Source
flatsAG n fq k returns the k-flats in AG(n,Fq), where fq are the elements of Fq
linesPG :: FiniteField a => Int -> [a] -> [[[a]]]Source
The lines (1-flats) in PG(n,fq)
linesAG :: FiniteField a => Int -> [a] -> [[[a]]]Source
The lines (1-flats) in AG(n,fq)
incidenceGraphPG :: (Ord a, FiniteField a) => Int -> [a] -> Graph (Either [a] [[a]])Source
Incidence graph of PG(n,fq), considered as an incidence structure between points and lines
incidenceGraphAG :: (Ord a, FiniteField a) => Int -> [a] -> Graph (Either [a] [[a]])Source
Incidence graph of AG(n,fq), considered as an incidence structure between points and lines