-- -*- M2-comint -*- hash: 7961212438259217609

i1 : randomArrangement(4,3,5)

o1 = {- 4x  + 3x  + x , 3x  + x , - 2x  + 2x , 3x  + x  + x }
          1     2    3    1    3      1     3    1    2    3

o1 : Hyperplane Arrangement 

i2 : tally apply(12, i -> poincare randomArrangement(6,3,5))

                       2      3
o2 = Tally{1 + 6T + 15T  + 10T  => 8}
                       2     3
           1 + 6T + 14T  + 9T  => 4

o2 : Tally

i3 : A = randomArrangement(6,3,5,Validate=>true)

o3 = {5x  + 4x  + 3x , - 3x  + x  - 5x , - 5x  - 3x  + 3x , 3x  + 4x  - 2x , - 2x  - 3x  + 5x , 5x  + 3x  - 5x }
        1     2     3      1    2     3      1     2     3    1     2     3      1     2     3    1     2     3

o3 : Hyperplane Arrangement 

i4 : U = uniformMatroid(3,6);

i5 : assert areIsomorphic(U, matroid A)

i6 : 
