isCoisotropic -- whether a hypersurface of a Grassmannian is a tangential Chow form

i1 : -- first tangential Chow form of a random quadric in P^3
     w = tangentialChowForm(ideal random(2,Grass(0,3)),1)

            2                              2                    
o1 = 675675p    + 697410p   p    + 3132675p    + 61740p   p    +
            0,1          0,1 0,2           0,2         0,1 1,2  
     ------------------------------------------------------------------------
                              2                                       
     1508220p   p    + 511756p    + 357210p   p    + 9327150p   p    +
             0,2 1,2          1,2          0,1 0,3           0,2 0,3  
     ------------------------------------------------------------------------
            2                                                         
     351675p    - 173460p   p    + 4498200p   p    + 1572312p   p    +
            0,3          0,1 1,3           0,2 1,3           1,2 1,3  
     ------------------------------------------------------------------------
                            2                                       
     106380p   p    + 63756p    - 2407860p   p    - 441000p   p    +
            0,3 1,3         1,3           0,1 2,3          0,2 2,3  
     ------------------------------------------------------------------------
                                                                 2
     246960p   p    - 1755000p   p    - 650160p   p    - 3402000p
            1,2 2,3           0,3 2,3          1,3 2,3           2,3

     QQ[p   ..p   , p   , p   , p   , p   ]
         0,1   0,2   1,2   0,3   1,3   2,3
o1 : --------------------------------------
         p   p    - p   p    + p   p
          1,2 0,3    0,2 1,3    0,1 2,3

i2 : time isCoisotropic w
 -- used 0.10154s (cpu); 0.0304463s (thread); 0s (gc)

o2 = true

i3 : -- random quadric in G(1,3)
     w' = random(2,Grass(1,3))

      3 2     3           7 2                 5           7 2     10        
o3 = --p    + -p   p    + -p    + 5p   p    + -p   p    + -p    + --p   p   
     10 0,1   7 0,1 0,2   8 0,2     0,1 1,2   6 0,2 1,2   2 1,2    9 0,1 0,3
     ------------------------------------------------------------------------
                   5 2                  2           2           5          
     + 5p   p    + -p    + 10p   p    + -p   p    + -p   p    + -p   p    +
         0,2 0,3   7 0,3      0,1 1,3   5 0,2 1,3   5 1,2 1,3   9 0,3 1,3  
     ------------------------------------------------------------------------
      1 2     3           5           6           5           4          
     --p    + -p   p    + -p   p    + -p   p    + -p   p    + -p   p    +
     10 1,3   2 0,1 2,3   3 0,2 2,3   5 1,2 2,3   3 0,3 2,3   3 1,3 2,3  
     ------------------------------------------------------------------------
     3 2
     -p
     7 2,3

     QQ[p   ..p   , p   , p   , p   , p   ]
         0,1   0,2   1,2   0,3   1,3   2,3
o3 : --------------------------------------
         p   p    - p   p    + p   p
          1,2 0,3    0,2 1,3    0,1 2,3

i4 : time isCoisotropic w'
 -- used 0.00858908s (cpu); 0.00858921s (thread); 0s (gc)

o4 = false