Skip to content

Commit 46c10c2

Browse files
author
Anton Leykin
committed
fixing a test in tropCM
1 parent 6ee92cd commit 46c10c2

File tree

1 file changed

+3
-10
lines changed

1 file changed

+3
-10
lines changed

Rigidity/CayleyMenger-tests.m2

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,21 +2,14 @@ TEST ///
22
n=4;
33
T = tropicalCayleyMenger n;
44
assert(#T == 75);
5-
G={{1,2},{2,3},{3,4},{1,4}};
5+
G={{1,2},{2,3},{1,3},{1,4},{2,4}};
66
T = tropicalCayleyMenger G;
7-
assert(#T == 75 and numrows rays first T == 4);
8-
assert(
9-
(
10-
rays last T - matrix {{0, 0}, {-1, 0}, {0, 0}, {0, -1}}
11-
)% linSpace first T == 0
12-
)
13-
assert(#(T/dim//uniique)==1)
7+
assert(#T == 33 and numrows rays first T == 5 and all(T, C->dim C==5));
148

159
T = tropicalCayleyMenger(n,Type=>List)
16-
assert all(T, R -> rank image transpose matrix R == 4)
10+
assert(#T == 75 and all(T, R -> rank image transpose matrix R == 4))
1711
///
1812

19-
2013
TEST ///
2114
permutationOfDoubleIndices = (p,G) -> apply(G, l->position(G,l' -> sort p_l' == l))
2215
checkInvariance = perm -> (

0 commit comments

Comments
 (0)