make()

Matrix * res2_comp::make

(

int

i

)

const

Definition at line 2073 of file res-a0.cpp.

{
  const FreeModule *F = free_of(level - 1);
  const FreeModule *G = free_of(level);
  MatrixConstructor result(F, G, nullptr);
  //  Matrix *result = new Matrix(free_of(level-1), free_of(level));
 
  int n = 0;
  if (G->rank() == 0) return result.to_matrix();
  for (res2_pair *p = resn[level]->pairs; p != nullptr; p = p->next)
    result.set_column(n++, R->to_vector(p->syz, F));
  return result.to_matrix();
}

References free_of(), G, Matrix, p, R, and result().

Referenced by make_minimal().