next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ExampleSystems (missing documentation) :: katsura

katsura -- an example of a 0-dimensional square polynomial system

Description

The unknowns stand for the values (in [0,1]) of a distribution function of a field created by a mixture of a ferro-antiferro-magnetic bond at some some points.

i1 : F = katsura(3,QQ)

                        2     2     2
o1 = {a + 2b + 2c - 1, a  + 2b  + 2c  - a, 2a*b + 2b*c - b}

o1 : List
i2 : sols = solveSystem F

o2 = {{.630602, .315301, -.130602}, {1, -4.61496e-18+2.30151e-19*ii,
     ------------------------------------------------------------------------
     -7.9308e-19-9.69956e-20*ii}, {.226541, .11327, .273459}, {.333333,
     ------------------------------------------------------------------------
     3.20475e-31+6.40949e-31*ii, .333333}}

o2 : List
i3 : #sols

o3 = 4

Ways to use katsura :