reimer5 -- 5-dimensional Reimer system

Synopsis

• Usage:
reimer5(kk)
• Inputs:
• kk, a ring, the coefficient ring
• Outputs:
• a list, of polynomials in the system

Description

This system was solved in May 2020, using solveSystem in Macaulay2 v1.15 with an Intel(R) Core(TM) i5-5250U CPU at 1.60GHz.

There were 146 solutions found in 6.540 seconds (with a Bezout bound of 720).

Reference: PoSSo test suite.

 i1 : reimer5(QQ) 2 2 2 2 2 3 3 3 3 3 4 o1 = {2x - 2y + 2z - 2t + 2u - 1, 2x - 2y + 2z - 2t + 2u - 1, 2x - ------------------------------------------------------------------------ 4 4 4 4 5 5 5 5 5 6 6 2y + 2z - 2t + 2u - 1, 2x - 2y + 2z - 2t + 2u - 1, 2x - 2y + ------------------------------------------------------------------------ 6 6 6 2z - 2t + 2u - 1} o1 : List