recursiveMinors -- uses a recursive cofactor algorithm to compute the ideal of minors of a matrix

Synopsis

• Usage:

  I = recursiveMinors(n, M, Threads=>t, MinorsCache=>b)

• Inputs:
  • n, an integer, the size of minors to compute
  • M, a matrix, the matrix which to compute the ideal of minors
  • t, an integer, an optional input, which describes the number of threads to uses
  • b, a Boolean value, an optional input, which says whether to cache in input
• Optional inputs:
  • MinorsCache => ...,
  • Threads => ...,
  • Verbose => ...,
• Outputs:
  • I, an ideal, the ideal of minors

Description

i1 : R = QQ[x,y];

i2 : M = random(R^{5,5,5,5,5,5}, R^7);

             6       7
o2 : Matrix R  <--- R

i3 : time I2 = recursiveMinors(4, M, Threads=>0);
     -- used 0.803638 seconds

o3 : Ideal of R

i4 : time I1 = minors(4, M, Strategy=>Cofactor);
     -- used 2.66112 seconds

o4 : Ideal of R

i5 : I1 == I2

o5 = true