[iyokan-66:AGM]asir
This is Risa/Asir, Version 20071022 (Kobe Distribution).
Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.
Copyright 2000-2007, Risa/Asir committers, http://www.openxm.org/.
GC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.
PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,
   H. Cohen and M. Olivier.
Debug windows of ox servers will not be opened. Set Xm_noX=0 to open it.
OpenXM/Risa/Asir-Contrib(20040302), Copyright 2000-2004, OpenXM.org committers
ox_help(0); ox_help("keyword"); ox_grep("keyword");
     for help messages (unix version only).
http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc.html
Loading ~/.asirrc
[1207] load("agm3-3.rr");
Agm3-3
0
Pf=[ 0 dx1 dx2 ]
[ (-b1*a*dx1)/(x1^2-x1) ((-b2*x1^2+b2*x1)*dx2+(((-a-b1+b2-1)*x1+c-b2)*x2+(a+b1+1)*x1^2-c*x1)*dx1)/((x1^2-x1)*x2-x1^3+x1^2) ((b1*x1^2-b1*x1)*dx2+(-b1*x2^2+b1*x2)*dx1)/((x1^2-x1)*x2-x1^3+x1^2) ]
[ (-b2*a*dx2)/(x2^2-x2) ((b2*x1^2-b2*x1)*dx2+(-b2*x2^2+b2*x2)*dx1)/(x2^3+(-x1-1)*x2^2+x1*x2) (((-a-b2-1)*x2^2+((a-b1+b2+1)*x1+c)*x2+(-c+b1)*x1)*dx2+(b1*x2^2-b1*x2)*dx1)/(x2^3+(-x1-1)*x2^2+x1*x2) ]
--- LHS ---
--- RHS(rhs by HY) ---
--- rhsHY ---
--- RHS ---
--- RHS(subst: DnRHS) ---
DnRHS=[[1,1],[z1-1,1],[z1^2+z1+1,1],[z2-1,1],[z2-z1,1],[z2+z1+1,2],[z2^2+z2+1,1],[z2^2+(-z1-1)*z2+z1^2-z1+1,1],[z2^2+z1*z2+z1^2,1]]
--- RHS(subst: NmRHS) ---
#(system of algebraic Equations)=261
#(linear equations)=203
size(A)=[203,9],rank(A)=8,rank(A,b)=8
#(non-linear equations)=58
Solving linear part
Solution of linear equations=[[a,1/3*e],[b1,1/6*e+1/6],[b2,1/6*e+1/6],[c,1/2*e+1/2],[ar,1/3*e],[br1,1/6*e+1/6],[br2,1/6*e+1/6],[cr,1/6*e+5/6]]
Assignment to non-linear equations=[0]
0
0
[1753] AlgebraicEquations=bload("Agm3-3EqsSplit.sav")$
[1754] LinearEquation203=AlgebraicEquations[0]$
[1755] length(LinearEquation203);
203
[1756] QuadraticEquation58=AlgebraicEquations[1]$
[1757] length(QuadraticEquation58);
58
[1758] SolofLinearEquation=bload("Agm3-3Sol.sav");
[[a,1/3*e],[b1,1/6*e+1/6],[b2,1/6*e+1/6],[c,1/2*e+1/2],[ar,1/3*e],[br1,1/6*e+1/6],[br2,1/6*e+1/6],[cr,1/6*e+5/6]]
[1759]