Macaulay2 » Documentation
Packages » ExampleSystems :: sendra
next | previous | forward | backward | up | index | toc

# sendra -- the system sendra

- Usage:
    `sendra(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 46 solutions found in 0.111 seconds (with a Bezout bound of 49).

Reference: PoSSo test suite.

See also: http://homepages.math.uic.edu/~jan/Demo/sendra.html.

    i1 : sendra(QQ)

                4 3         4         3            7       6        5 2       4 3
    o1 = {- 270x y  - 314x*y  - 689x*y  + 1428, 36x  + 417x y - 422x y  - 270x y
         ------------------------------------------------------------------------
                3 4        2 5         6       6       5        4 2       3 3
         + 1428x y  - 1475x y  + 510x*y  - 200x  - 174x y - 966x y  + 529x y  +
         ------------------------------------------------------------------------
             2 4        5       6       4         2 3         4       5      4
         269x y  + 49x*y  - 267y  + 529x y + 1303x y  - 314x*y  + 262y  + 36x  -
         ------------------------------------------------------------------------
             2 2         3       4
         788x y  - 689x*y  + 177y }

    o1 : List

## Ways to use sendra:

- `sendra(Ring)`

## For the programmer

The object sendra is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/ExampleSystems/sendra.m2:38:0.