reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4903 if (test_plain_injective(ctx, "{S[i,j] -> A[0]; T[i,j] -> B[1]}", 0)) 4905 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> B[0]}", 1)) 4907 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[1]}", 1)) 4909 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[0]}", 0)) 4911 if (test_plain_injective(ctx, "{S[i] -> A[i,0]; T[i] -> A[i,1]}", 1)) 4913 if (test_plain_injective(ctx, "{S[i] -> A[i]; T[i] -> A[i]}", 0)) 4915 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[0,1]}", 1)) 4917 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[1,0]}", 1)) 4921 if (test_plain_injective(ctx, str, 1)) 4924 if (test_plain_injective(ctx, str, 0))