[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Identity and Isomorphism

Identity and Isomorphism

Incidence structures D_1 = (P_1, B_1, I_1) and D_2 = (P_2, B_2, I_2) are identical if P_1 = P_2, B_1 = B_2 and I_1 = I_2.

D eq E : Inc, Inc -> BoolElt
True if the incidence structures D and E are identical, otherwise false.
D ne E : Inc, Inc -> BoolElt
True if the incidence structures D and E are not identical, otherwise false.
IsIsomorphic(D, E: parameters) : Inc, Inc -> BoolElt, Map
    AutomorphismGroups: MonStgElt       Default: "None"
True if the incidence structures D and E are isomorphic, otherwise false. If they are isomorphic, then an isomorphism is returned as the second value. The function first computes none, one, or both of the automorphism groups of the left and right incidence structures. In difficult examples, this may significantly speed up testing for isomomorphism. The parameter AutomorphismGroups, with valid string values Both, Left, Right, None, may be used to specify which of the automorphism groups should be constructed if not already known. The default is None.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]