1- for V in (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂)# , VSU₃)
1+ for V in (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂, VSU₂U₁ )# , VSU₃)
22 V1, V2, V3, V4, V5 = V
33 @assert V3 * V4 * V2 ≿ V1' * V5' # necessary for leftorth tests
44 @assert V3 * V4 ≾ V1' * V2' * V5' # necessary for rightorth tests
@@ -10,15 +10,15 @@ spacelist = try
1010 if Sys. iswindows ()
1111 (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂)
1212 elseif Sys. isapple ()
13- (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VfU₁, VfSU₂)# , VSU₃)
13+ (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VfU₁, VfSU₂, VSU₂U₁ )# , VSU₃)
1414 else
15- (Vtr, Vℤ₂, Vfℤ₂, VU₁, VCU₁, VSU₂, VfSU₂)# , VSU₃)
15+ (Vtr, Vℤ₂, Vfℤ₂, VU₁, VCU₁, VSU₂, VfSU₂, VSU₂U₁ )# , VSU₃)
1616 end
1717 else
18- (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂)# , VSU₃)
18+ (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂, VSU₂U₁ )# , VSU₃)
1919 end
2020catch
21- (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂)# , VSU₃)
21+ (Vtr, Vℤ₂, Vfℤ₂, Vℤ₃, VU₁, VfU₁, VCU₁, VSU₂, VfSU₂, VSU₂U₁ )# , VSU₃)
2222end
2323
2424for V in spacelist
0 commit comments