Use Z/(2)[x[1..4]];
F:=[
x[2]x[3] + x[1]x[4] + x[2]x[4] + x[3]x[4] + x[1] + x[2] + x[3] + x[4],
x[2]x[3] + x[2]x[4] + x[3]x[4] + x[2] + x[3] + x[4],
x[1]x[2] + x[2]x[3] + x[2]x[4] + x[3]x[4] + x[1] + x[2],
x[1]x[2] + x[2]x[3] + x[2]x[4] + x[3]x[4] + x[1] + x[2]
];
-- Solution is not unique i.e. [0, 1, 1, 1], [0, 0, 0, 0], and [1, 1, 1, 1] are solutions
-- Then we compute the solution with
CharP.IMXLSolve(F);
-- And we achieve the following information on the screen.
----------------------------------------
The size of Matrix is:
No. of Rows=4
No. of Columns=9
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The size of Matrix is:
No. of Rows=3
No. of Columns=9
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=7
No. of Columns=14
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=14
No. of Columns=14
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 4
The total No. of Mutants found are = 4
The No. of Mutants of Minimum degree (Mutants used) are = 2
The size of Matrix is:
No. of Rows=15
No. of Columns=10
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The total No. of Mutants found are = 2
The No. of Mutants of Minimum degree (Mutants used) are = 2
The size of Matrix is:
No. of Rows=15
No. of Columns=14
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=12
No. of Columns=14
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=17
No. of Columns=14
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=25
No. of Columns=15
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
No. of New Mutants found = 0
The size of Matrix is:
No. of Rows=13
No. of Columns=15
Appling Gaussian Elimination...
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
Gaussian Elimination Completed.
The variables found till now are:
[x[1], x[2], x[3], x[4]]
Please Check the uniqueness of solution.
The Given system of polynomials does not
seem to have a unique solution.
|