ApCoCoA-1:CharP.MXLSolve

From ApCoCoAWiki
Revision as of 16:05, 6 December 2010 by Ehsanmath (talk | contribs) (New page: <command> <title>CharP.GBasisF2</title> <short_description>Computing the unique <tt>F_2-</tt>rational zero of a given polynomial system over <tt>F_2</tt>.</short_description> <synt...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

CharP.GBasisF2

Computing the unique F_2-rational zero of a given polynomial system over F_2.

Syntax

CharP.XLSolve(F:LIST):LIST

Description


This function computes the unique zero in F_2^n of a polynomial system over F_2 . It uses XL-Algorithm to find the unique zero. The XL-Algorithm is impelemented only to find a unique solution. If the given polynomial system has more than one zeros in F_2^n then this function does not find any zero. In this case a massage for non-uniqueness will be displayed to the screen after reaching the maximum degree bound.

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.


  • @param F A system of polynomial over F_2 having a unique zero in F_2^n.

  • @return The unique solution of the given system in F_2^n.

Example

Use R::=QQ[x,y,z];
I:=Ideal(x-y^2,x^2+xy,y^3);
GBasis(I);
[x^2 + xy, -y^2 + x, -xy]
-------------------------------
Use Z::=ZZ[x,y,z];
-- WARNING: Coeffs are not in a field
-- GBasis-related computations could fail to terminate or be wrong

-------------------------------
I:=Ideal(x-y^2,x^2+xy,y^3);
CharP.GBasisF2(I);
-- WARNING: Coeffs are not in a field
-- GBasis-related computations could fail to terminate or be wrong
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[y^2 + x, x^2, xy]
-------------------------------


See also

GBasis

Introduction to CoCoAServer

Introduction to Groebner Basis in CoCoA

CharP.GBasisF4

CharP.GBasisF8

CharP.GBasisF16

CharP.GBasisF32