# caprasse -- the system caprasse of the PoSSo test suite

## Synopsis

• Usage:
caprasse(kk)
• Inputs:
• kk, a ring, the coefficient ring
• Outputs:
• a list, of the 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-4258U CPU at 2.40GHz.

There were 64 solutions found in 0.525506 seconds (with a Bezout bound of 144).

Reference:

The PoSSo test suite.

 i1 : caprasse(QQ) 2 3 2 2 3 2 2 o1 = {y z + 2x*y*t - 2x - z, - x z + 4x*y z + 4x y*t + 2y t + 4x - 10y + ------------------------------------------------------------------------ 2 3 2 2 4x*z - 10y*t + 2, 2y*z*t + x*t - x - 2z, - x*z + 4y*z t + 4x*z*t + ------------------------------------------------------------------------ 3 2 2 2y*t + 4x*z + 4z - 10y*t - 10t + 2} o1 : List