# =========================================================================== # INSTANT ALGEBRA DEFINITIONS # --------------------------------------------------------------------------- # A3fp definition curalg := fp3: defalg(fp3, {anterior,equals,uncomparable}, equals, {equals,uncomparable}, {[anterior,equals],[anterior,uncomparable]}, table([ (anterior,anterior) = {anterior}, (anterior,equals) = {anterior}, (anterior,uncomparable) = {anterior,uncomparable}, (anterior,i(anterior)) = {anterior,equals,i(anterior),uncomparable}, (equals,anterior) = {anterior}, (equals,equals) = {equals}, (equals,uncomparable) = {uncomparable}, (equals,i(anterior)) = {i(anterior)}, (uncomparable,anterior) = {uncomparable,anterior}, (uncomparable,equals) = {uncomparable}, (uncomparable,uncomparable) = {anterior,equals,i(anterior),uncomparable}, (uncomparable,i(anterior)) = {uncomparable,i(anterior)}, (i(anterior),anterior) = {anterior,equals,i(anterior),uncomparable}, (i(anterior),equals) = {i(anterior)}, (i(anterior),uncomparable) = {i(anterior),uncomparable}, (i(anterior),i(anterior)) = {i(anterior)} ]), {}, {}): # --------------------------------------------------------------------------- # A3p definition curalg := p3: defalg(p3, {anterior,equals,uncomparable}, equals, {equals,uncomparable}, {[anterior,equals],[anterior,uncomparable]}, table([ (anterior,anterior) = {anterior}, (anterior,equals) = {anterior}, (anterior,uncomparable) = {uncomparable}, #anterior, (anterior,i(anterior)) = {anterior,equals,i(anterior),uncomparable}, (equals,anterior) = {anterior}, (equals,equals) = {equals}, (equals,uncomparable) = {uncomparable}, (equals,i(anterior)) = {i(anterior)}, (uncomparable,anterior) = {uncomparable,anterior}, (uncomparable,equals) = {uncomparable}, (uncomparable,uncomparable) = {anterior,equals,i(anterior),uncomparable}, (uncomparable,i(anterior)) = {uncomparable}, #,i(anterior) (i(anterior),anterior) = {anterior,equals,i(anterior)},#,uncomparable (i(anterior),equals) = {i(anterior)}, (i(anterior),uncomparable) = {i(anterior),uncomparable}, (i(anterior),i(anterior)) = {i(anterior)} ]), {}, {}): # --------------------------------------------------------------------------- # A3f definition curalg := f3: defalg(f3, {anterior,equals,uncomparable}, equals, {equals,uncomparable}, # this can be different? {[anterior,equals],[anterior,uncomparable]}, # this can be different? table([ (anterior,anterior) = {anterior}, (anterior,equals) = {anterior}, (anterior,uncomparable) = {anterior,uncomparable}, (anterior,i(anterior)) = {anterior,equals,i(anterior)}, #,uncomparable (equals,anterior) = {anterior}, (equals,equals) = {equals}, (equals,uncomparable) = {uncomparable}, (equals,i(anterior)) = {i(anterior)}, (uncomparable,anterior) = {uncomparable}, #,anterior (uncomparable,equals) = {uncomparable}, (uncomparable,uncomparable) = {anterior,equals,i(anterior),uncomparable}, (uncomparable,i(anterior)) = {uncomparable,i(anterior)}, (i(anterior),anterior) = {anterior,equals,i(anterior),uncomparable}, (i(anterior),equals) = {i(anterior)}, (i(anterior),uncomparable) = {uncomparable}, #,i(anterior) (i(anterior),i(anterior)) = {i(anterior)} ]), {}, {}): # --------------------------------------------------------------------------- # A3 definition (for test purposes) curalg := 3: defalg(3, {anterior,equals}, equals, {equals}, {[anterior,equals]}, table([ (anterior,anterior) = {anterior}, (anterior,equals) = {anterior}, (anterior,i(anterior)) = {anterior,equals,i(anterior)}, (equals,anterior) = {anterior}, (equals,equals) = {equals}, (equals,i(anterior)) = {i(anterior)}, (i(anterior),anterior) = {anterior,equals,i(anterior)}, (i(anterior),equals) = {i(anterior)}, (i(anterior),i(anterior)) = {i(anterior)} ]), {}, {}):