|\^/| Maple 18 (X86 64 LINUX) ._|\| |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014 \ MAPLE / All rights reserved. Maple is a trademark of <____ ____> Waterloo Maple Inc. | Type ? for help. [&x, *, +, -, ., <,>, <|>, About, AddCoordinates, ArcLength, BasisFormat, Binormal, Compatibility, ConvertVector, CrossProduct, Curl, Curvature, D, Del, DirectionalDiff, Divergence, DotProduct, Flux, GetCoordinateParameters, GetCoordinates, GetNames, GetPVDescription, GetRootPoint, GetSpace, Gradient, Hessian, IsPositionVector, IsRootedVector, IsVectorField, Jacobian, Laplacian, LineInt, MapToBasis, Nabla, Norm, Normalize, PathInt, PlotPositionVector, PlotVector, PositionVector, PrincipalNormal, RadiusOfCurvature, RootedVector, ScalarPotential, SetCoordinateParameters, SetCoordinates, SpaceCurve, SurfaceInt, TNBFrame, Tangent, TangentLine, TangentPlane, TangentVector, Torsion, Vector, VectorField, VectorPotential, VectorSpace, Wronskian, diff, eval, evalVF, int, limit, series] Path set to /dsk/l1/fgb/13379/FGblib/../libfgbunid.so FGb/Maple interface package Version 1.63 JC Faugere (Jean-Charles.Faugere@inria.fr) Type ?FGb for documentation Warning, `n` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `EQUS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `linear` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `var` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `S` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `par` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `ls` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myrand1` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myrand` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myprime` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `gb` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `rr1` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `DEG` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `boo` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `i` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `NEWVARS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `LS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `param` is implicitly declared local to procedure `FGbRationalParametrization` FGbRationalParametrization := proc(EQUATIONS, VARS) local n, EQUS, linear, var, S, par, ls, myrand1, myrand, myprime, gb, rr1, DEG, boo, i, NEWVARS, LS, param; n := nops(VARS); EQUS := expand(EQUATIONS); if indets(VARS) <> indets(EQUS) then print(indets(EQUS) <> indets(VARS)); error "Variables do not match" end if; if n = 1 then error "Univariate Case" end if; if member(1, map(degree, EQUS)) then linear := map(_pol -> if degree(_pol) = 1 then _pol end if, EQUS); var := indets(linear[1])[1]; S := solve(linear[1], var); par, ls := FGbRationalParametrization(subs(var = S, EQUATIONS), remove(member, VARS, [var])); return par, {op(ls), var = S} end if; myrand1 := rand(1 .. 10); myrand := rand(9000 .. 65519); myprime := nextprime(myrand()); gb := FGb:-fgb_gbasis_lm([VectorCalculus:-`+`( add(VectorCalculus:-`*`(myrand(), VARS[i]), i = 1 .. n), myrand()), op(EQUS)], myprime, [], VARS, {"index" = 99886600, "verb" = 0}); if gb[1] <> [1] then printf("\t\n\n Positive dimension \n\n"); error "Positive dimension" end if; gb := FGb:-fgb_gbasis(EQUS, myprime, [], VARS, {"index" = 99886600, "verb" = 0}); if member(1, map(degree, gb)) then FGb:-fgb_gbasis(EQUS, 0, [], VARS, {"index" = 99886600, "verb" = 0}) ; return [1], {}; error "There is a linear polynomial in the Gb" end if; if gb = [1] then return [seq(1, i = 1 .. nops(vars))], {} end if; rr1 := FGb:-fgb_matrixn(subs(VARS[n] = VectorCalculus:-`+`(add( VectorCalculus:-`*`(myrand(), VARS[i]), i = 1 .. VectorCalculus:-`+`(n, -1)), VARS[n]), gb), myprime, VARS, {"index" = 99886600, "verb" = 0}); if 1 <= nops(map(_sqr -> if 1 < _sqr[2] then _sqr[2] end if, (Sqrfree(rr1[nops(rr1)]) mod myprime)[2])) then printf("Non radical case\n", degree(rr1[nops(rr1)]), add( degree(_pol[1]), _pol in (Sqrfree(rr1[nops(rr1)]) mod myprime)[2])); error "Non radical case" end if; DEG := degree(rr1[nops(rr1)]); printf("\n\nDegree is %d\n\n", DEG); boo := false; for i from nops(VARS) by -1 to 1 do NEWVARS := [op(remove(member, VARS, VARS[i .. i])), VARS[i]]; try rr1 := FGb:-fgb_matrixn(gb, myprime, NEWVARS, {"index" = 99886600, "verb" = 0}); if 0 < nops(rr1) then boo := true; break end if catch: end try end do; if boo then LS := {}; if 0 = 0 then param := FGb:-fgb_matrixn(EQUS, 0, NEWVARS, {"index" = 99886600, "verb" = 0}) else param := FGb:-fgb_matrixn(EQUS, 65521, NEWVARS, {"index" = 99886600, "verb" = 0}) end if else printf("\n\nChange of variables requested\n\n"); LS := {VARS[n] = VectorCalculus:-`+`(VARS[n], add(VectorCalculus:-`*`(myrand1(), VARS[i]), i = 1 .. n))}; if 0 = 0 then param := FGb:-fgb_matrixn( map(expand, subs(LS, EQUS)), 0, VARS, {"index" = 99886600, "verb" = 0}) else param := FGb:-fgb_matrixn(map(expand, subs(LS, EQUS)), 65521, VARS, {"index" = 99886600, "verb" = 0}) end if end if; return param, LS end proc MyIsolation := proc(rrform) local newrr, elimvars, othervars, reg, SOLS, vars, DEG; elimvars := indets(rrform[1])[1]; othervars := map(_eqs -> indets(_eqs) minus {elimvars}, rrform[2 .. nops(rrform)]); othervars := map(_v -> _v[1], othervars); DEG := degree(rrform[1]); newrr := [rrform[1], VectorCalculus:-diff(rrform[1], elimvars), [rem( VectorCalculus:-`*`(VectorCalculus:-diff(rrform[1], elimvars), elimvars), rrform[1], elimvars), seq(VectorCalculus:-`-`( VectorCalculus:-`*`( coeff(rrform[i], othervars[VectorCalculus:-`+`(i, -1)], 0), DEG)), i = 2 .. nops(rrform))]]; reg := lcm(op(map(denom, newrr[3])), denom(newrr[2])); newrr := [numer(newrr[1]), expand(VectorCalculus:-`*`(reg, newrr[2])), map(_eqs -> expand(VectorCalculus:-`*`(_eqs, reg)), newrr[3])]; SOLS := fgbrs:-rs_isolate_rur(newrr[1], newrr[2], newrr[3], elimvars, verbose = 0); vars := [elimvars, op(othervars)]; SOLS := map(_point -> [seq(vars[i] = VectorCalculus:-`*`( VectorCalculus:-`+`(_point[i][1], _point[i][2]), 1/2), i = 1 .. nops(vars))], SOLS); return SOLS end proc my_rs_rur_sys := proc( sys::depends(list(polynom(integer, vars))), vars::list(name), v::name := _Z , {constraints := [], fulloutput::boolean := false, noresult::boolean := false, sepvector::list(integer) := [], useblockingerror::boolean := FAIL, verbose::nonnegint := 0}, $) fgbrs:-rs_rur_gb( fgbrs:-rs_gbasis(sys, vars, ':-useblockingerror' = useblockingerror), vars, v, ':-constraints' = constraints, ':-verbose' = verbose, ':-noresult' = noresult, ':-sepvector' = sepvector, ':-fulloutput' = fulloutput, ':-useblockingerror' = useblockingerror) end proc > read "load.mpl": Warning, `X` is implicitly declared local to procedure `MyRand` Warning, `S` is implicitly declared local to procedure `LittleRankPosDef` Warning, `i` is implicitly declared local to procedure `LittleRankPosDef` Warning, `v` is implicitly declared local to procedure `LittleRankPosDef` Warning, `j` is implicitly declared local to procedure `LittleRankPosDef` Warning, `S` is implicitly declared local to procedure `Deformation` Warning, `i` is implicitly declared local to procedure `Deformation` Warning, `j` is implicitly declared local to procedure `Deformation` Warning, `one` is implicitly declared local to procedure `MyRand2` Warning, `two` is implicitly declared local to procedure `MyRand2` Warning, `rr2` is implicitly declared local to procedure `MyRand2` Warning, `i` is implicitly declared local to procedure `RowElementaryOperation` Warning, `lambda` is implicitly declared local to procedure `RowElementaryOperation` Warning, `j` is implicitly declared local to procedure `RowElementaryOperation` Warning, `i` is implicitly declared local to procedure `ColumnElementaryOperation` Warning, `j` is implicitly declared local to procedure `ColumnElementaryOperation` Warning, `lambda` is implicitly declared local to procedure `ColumnElementaryOperation` Warning, `r` is implicitly declared local to procedure `ApplyAffineTransf` Warning, `c` is implicitly declared local to procedure `ApplyAffineTransf` Warning, `out` is implicitly declared local to procedure `LinearChangeOfVariables` Warning, `t` is implicitly declared local to procedure `LinearChangeOfVariables` Warning, `r` is implicitly declared local to procedure `MakeTriangular` Warning, `c` is implicitly declared local to procedure `MakeTriangular` Warning, `out` is implicitly declared local to procedure `MakeTriangular` Warning, `i` is implicitly declared local to procedure `MakeTriangular` Warning, `j` is implicitly declared local to procedure `MakeTriangular` Warning, `J` is implicitly declared local to procedure `RandomSymmMatrix` Warning, `var` is implicitly declared local to procedure `RandomLinearMatrix` Warning, `M` is implicitly declared local to procedure `RandomLinearMatrix` Warning, `s` is implicitly declared local to procedure `RandomLinearMatrix` Warning, `t` is implicitly declared local to procedure `RandomLinearMatrix` Warning, `var` is implicitly declared local to procedure `RandomSymmetricLinearMatrix` Warning, `M` is implicitly declared local to procedure `RandomSymmetricLinearMatrix` Warning, `s` is implicitly declared local to procedure `RandomSymmetricLinearMatrix` Warning, `t` is implicitly declared local to procedure `RandomSymmetricLinearMatrix` Warning, `vec` is implicitly declared local to procedure `Vectorize` Warning, `i` is implicitly declared local to procedure `Vectorize` Warning, `j` is implicitly declared local to procedure `Vectorize` Warning, `MIN` is implicitly declared local to procedure `SetOfSubMatrices` Warning, `j` is implicitly declared local to procedure `SetOfSubMatrices` Warning, `l` is implicitly declared local to procedure `SetOfSubMatrices` Warning, `listofsubmatrices` is implicitly declared local to procedure `SetOfSubMatrices` Warning, `MIN` is implicitly declared local to procedure `Minors` Warning, `j` is implicitly declared local to procedure `Minors` Warning, `l` is implicitly declared local to procedure `Minors` Warning, `listofminors` is implicitly declared local to procedure `Minors` Warning, `e` is implicitly declared local to procedure `MaxMinorsJacobian` Warning, `v` is implicitly declared local to procedure `MaxMinorsJacobian` Warning, `lv` is implicitly declared local to procedure `MaxMinorsJacobian` Warning, `ld` is implicitly declared local to procedure `MaxMinorsJacobian` Warning, `eqs` is implicitly declared local to procedure `SingularLocus` Warning, `var` is implicitly declared local to procedure `SingularLocus` Warning, `n` is implicitly declared local to procedure `SingularLocus` Warning, `out` is implicitly declared local to procedure `SingularLocus` Warning, `Mat` is implicitly declared local to procedure `MatrixCombination` Warning, `var` is implicitly declared local to procedure `ComputeDimension` Warning, `n` is implicitly declared local to procedure `ComputeDimension` Warning, `eqs` is implicitly declared local to procedure `ComputeDimension` Warning, `GB` is implicitly declared local to procedure `ComputeDimension` Warning, `d` is implicitly declared local to procedure `ComputeDimension` Warning, `var` is implicitly declared local to procedure `ComputeCodimension` Warning, `var` is implicitly declared local to procedure `ComputeDegree` Warning, `eqs` is implicitly declared local to procedure `ComputeDegree` Warning, `dimen` is implicitly declared local to procedure `ComputeDegree` Warning, `i` is implicitly declared local to procedure `ComputeDegree` Warning, `eqs` is implicitly declared local to procedure `EliminateRelations` Warning, `e` is implicitly declared local to procedure `EliminateRelations` Warning, `var` is implicitly declared local to procedure `EliminateRelations` Warning, `v` is implicitly declared local to procedure `EliminateRelations` Warning, `dim` is implicitly declared local to procedure `EliminateRelations` Warning, `cod` is implicitly declared local to procedure `EliminateRelations` Warning, `neweqs` is implicitly declared local to procedure `EliminateRelations` Warning, `i` is implicitly declared local to procedure `EliminateRelations` Warning, `eqs` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `e` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `var` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `v` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `neweqs` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `i` is implicitly declared local to procedure `EliminateRelationsKnowingCodimension` Warning, `vars` is implicitly declared local to procedure `TestTheMembership` Warning, `pol` is implicitly declared local to procedure `TestTheMembership` Warning, `listofpol` is implicitly declared local to procedure `TestTheMembership` Warning, `newlist` is implicitly declared local to procedure `TestTheMembership` Warning, `GB1` is implicitly declared local to procedure `TestTheMembership` Warning, `GB2` is implicitly declared local to procedure `TestTheMembership` Warning, `vars` is implicitly declared local to procedure `TestTheEquality` Warning, `GB1` is implicitly declared local to procedure `TestTheEquality` Warning, `GB2` is implicitly declared local to procedure `TestTheEquality` Warning, `vars` is implicitly declared local to procedure `TestTheInclusion` Warning, `newlist` is implicitly declared local to procedure `TestTheInclusion` Warning, `GB1` is implicitly declared local to procedure `TestTheInclusion` Warning, `GB2` is implicitly declared local to procedure `TestTheInclusion` Warning, `vars` is implicitly declared local to procedure `TestSingularity` Warning, `ss` is implicitly declared local to procedure `TestSingularity` Warning, `GB` is implicitly declared local to procedure `TestSingularity` Warning, `out` is implicitly declared local to procedure `ChangeLines` Warning, `r` is implicitly declared local to procedure `ChangeLines` Warning, `c` is implicitly declared local to procedure `ChangeLines` Warning, `j` is implicitly declared local to procedure `ChangeLines` Warning, `ch` is implicitly declared local to procedure `ChangeLines` Warning, `out` is implicitly declared local to procedure `ChangeColumns` Warning, `r` is implicitly declared local to procedure `ChangeColumns` Warning, `c` is implicitly declared local to procedure `ChangeColumns` Warning, `i` is implicitly declared local to procedure `ChangeColumns` Warning, `ch` is implicitly declared local to procedure `ChangeColumns` Warning, `linear` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `newset` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `var` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `S` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `par` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `ls` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `i` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `NEWVARS` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `LS` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `param` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `NEWINDEX` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `NEWEQS` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `fd` is implicitly declared local to procedure `FGbRationalParametrizationBiLinear` Warning, `n` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `EQUS` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `linear` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `var` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `S` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `par` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `ls` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `myrand1` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `myrand` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `myprime` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `gb` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `boo` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `i` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `candidate` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `rr1` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `DEG` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `NEWVARS` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `LS` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `param` is implicitly declared local to procedure `MyFGbRationalParametrization` Warning, `out` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `n` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `pos` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `i` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `val` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `j` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `MAT` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `v` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `z` is implicitly declared local to procedure `HowManyOnTheSpectra` Warning, `out` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `n` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `pos` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `i` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `val` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `j` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `MAT` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `v` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `z` is implicitly declared local to procedure `HowManyOnTheSpectraHankel` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `matY` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `s` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `i` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `g` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `BB` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `NEWEQ` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `j` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `st0` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `times` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `ldeg` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `deg` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `param` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `chgvar` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `st1` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankHankel` Warning, `varsZ` is implicitly declared local to procedure `OldLagSyst` Warning, `varsXY` is implicitly declared local to procedure `OldLagSyst` Warning, `NEWEQS` is implicitly declared local to procedure `OldLagSyst` Warning, `zz` is implicitly declared local to procedure `OldLagSyst` Warning, `GB` is implicitly declared local to procedure `OldLagSyst` Warning, `SOLS` is implicitly declared local to procedure `OldLagSyst` Warning, `param` is implicitly declared local to procedure `LagSyst` Warning, `chgvar` is implicitly declared local to procedure `LagSyst` Warning, `SOLS` is implicitly declared local to procedure `LagSyst` Warning, `varsZ` is implicitly declared local to procedure `LagSyst` Warning, `varsXY` is implicitly declared local to procedure `LagSyst` Warning, `rr` is implicitly declared local to procedure `LagSyst` Warning, `NEWEQS` is implicitly declared local to procedure `LagSyst` Warning, `zz` is implicitly declared local to procedure `LagSyst` Warning, `lv` is implicitly declared local to procedure `LagSyst` Warning, `ld` is implicitly declared local to procedure `LagSyst` Warning, `varsZ` is implicitly declared local to procedure `PolarVarieties` Warning, `varsXY` is implicitly declared local to procedure `PolarVarieties` Warning, `J` is implicitly declared local to procedure `PolarVarieties` Warning, `jac` is implicitly declared local to procedure `PolarVarieties` Warning, `i` is implicitly declared local to procedure `PolarVarieties` Warning, `j` is implicitly declared local to procedure `PolarVarieties` Warning, `NEWEQS` is implicitly declared local to procedure `PolarVarieties` Warning, `rr` is implicitly declared local to procedure `IsSingular` Warning, `lv` is implicitly declared local to procedure `IsSingular` Warning, `ld` is implicitly declared local to procedure `IsSingular` Warning, `NEWEQUATIONS` is implicitly declared local to procedure `IsSingular` Warning, `GB` is implicitly declared local to procedure `IsSingular` Warning, `NEWVARS` is implicitly declared local to procedure `IsSingularMohab` Warning, `VEC` is implicitly declared local to procedure `IsSingularMohab` Warning, `NEWVEC` is implicitly declared local to procedure `IsSingularMohab` Warning, `NEWPOLS` is implicitly declared local to procedure `IsSingularMohab` Warning, `NEWEQS` is implicitly declared local to procedure `IsSingularMohab` Warning, `GB` is implicitly declared local to procedure `IsSingularMohab` Warning, `n` is implicitly declared local to procedure `RealSmallRank` Warning, `varsX` is implicitly declared local to procedure `RealSmallRank` Warning, `matY2` is implicitly declared local to procedure `RealSmallRank` Warning, `i` is implicitly declared local to procedure `RealSmallRank` Warning, `j` is implicitly declared local to procedure `RealSmallRank` Warning, `U` is implicitly declared local to procedure `RealSmallRank` Warning, `matY1` is implicitly declared local to procedure `RealSmallRank` Warning, `matY` is implicitly declared local to procedure `RealSmallRank` Warning, `varsY` is implicitly declared local to procedure `RealSmallRank` Warning, `rr` is implicitly declared local to procedure `RealSmallRank` Warning, `EQS` is implicitly declared local to procedure `RealSmallRank` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRank` Warning, `st` is implicitly declared local to procedure `RealSmallRank` Warning, `GB` is implicitly declared local to procedure `RealSmallRank` Warning, `param` is implicitly declared local to procedure `RealSmallRank` Warning, `deg` is implicitly declared local to procedure `RealSmallRank` Warning, `st0` is implicitly declared local to procedure `RealSmallRank` Warning, `times` is implicitly declared local to procedure `RealSmallRank` Warning, `HYP` is implicitly declared local to procedure `RealSmallRank` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRank` Warning, `st1` is implicitly declared local to procedure `RealSmallRank` Warning, `ldeg` is implicitly declared local to procedure `RealSmallRank` Warning, `s` is implicitly declared local to procedure `RealSmallRank` Warning, `myvar` is implicitly declared local to procedure `RealSmallRank` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRank` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `U` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `matY` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `i` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `j` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `ID` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `s` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankOldGood` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankOld` Warning, `matY` is implicitly declared local to procedure `RealSmallRankOld` Warning, `i` is implicitly declared local to procedure `RealSmallRankOld` Warning, `j` is implicitly declared local to procedure `RealSmallRankOld` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankOld` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankOld` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankOld` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankOld` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankOld` Warning, `s` is implicitly declared local to procedure `RealSmallRankOld` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankOld` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankOld` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankChange` Warning, `matY` is implicitly declared local to procedure `RealSmallRankChange` Warning, `i` is implicitly declared local to procedure `RealSmallRankChange` Warning, `j` is implicitly declared local to procedure `RealSmallRankChange` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankChange` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankChange` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankChange` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankChange` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankChange` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankChange` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `matY` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `i` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `j` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `s` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankWithoutControl` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `matY` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `i` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `j` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `J` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `NEW` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `s` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankSymmetric` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `matY` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `i` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `j` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `J` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankSymmetricChange` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `matY` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `i` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `j` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `J` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `s` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankSymmetricWithoutControl` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `matY` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `i` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `j` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `J` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `s` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankDiagonal` Warning, `varsX` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `matY` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `i` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `j` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `varsY` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `EQS` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `HYP` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `s` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `myvar` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRankOtherMinor` Warning, `varsX` is implicitly declared local to procedure `RealSmallRank2` Warning, `matY` is implicitly declared local to procedure `RealSmallRank2` Warning, `i` is implicitly declared local to procedure `RealSmallRank2` Warning, `j` is implicitly declared local to procedure `RealSmallRank2` Warning, `varsY` is implicitly declared local to procedure `RealSmallRank2` Warning, `EQS` is implicitly declared local to procedure `RealSmallRank2` Warning, `varsXY` is implicitly declared local to procedure `RealSmallRank2` Warning, `HYP` is implicitly declared local to procedure `RealSmallRank2` Warning, `SOLS` is implicitly declared local to procedure `RealSmallRank2` Warning, `myvar` is implicitly declared local to procedure `RealSmallRank2` Warning, `NUMB` is implicitly declared local to procedure `RealSmallRank2` Warning, `fd` is implicitly declared local to procedure `PrintFiles` Warning, `N` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `varsXX` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `VV` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `i` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `M` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `s` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `j` is implicitly declared local to procedure `GenerateHankelMatrix` Warning, `varsXX` is implicitly declared local to procedure `MyGenerateMatrix` Warning, `M` is implicitly declared local to procedure `MyGenerateMatrix` Warning, `i` is implicitly declared local to procedure `MyGenerateMatrix` Warning, `j` is implicitly declared local to procedure `MyGenerateMatrix` Warning, `r` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `script1` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `fd1` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `script2` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `fd2` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `n` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `M` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `F` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `str1` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `logstr1` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `varsXX` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `str2` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `logstr2` is implicitly declared local to procedure `GenerateFilesHankel` Warning, `M` is implicitly declared local to procedure `GenerateSingleFileHankel` Warning, `F` is implicitly declared local to procedure `GenerateSingleFileHankel` Warning, `str1` is implicitly declared local to procedure `GenerateSingleFileHankel` Warning, `varsXX` is implicitly declared local to procedure `GenerateSingleFileHankel` Warning, `str2` is implicitly declared local to procedure `GenerateSingleFileHankel` Warning, `script1` is implicitly declared local to procedure `GenerateFiles` Warning, `script2` is implicitly declared local to procedure `GenerateFiles` Warning, `F` is implicitly declared local to procedure `GenerateFiles` Warning, `str1` is implicitly declared local to procedure `GenerateFiles` Warning, `logstr1` is implicitly declared local to procedure `GenerateFiles` Warning, `varsXX` is implicitly declared local to procedure `GenerateFiles` Warning, `str2` is implicitly declared local to procedure `GenerateFiles` Warning, `logstr2` is implicitly declared local to procedure `GenerateFiles` Warning, `M` is implicitly declared local to procedure `GenerateSingleFile` Warning, `F` is implicitly declared local to procedure `GenerateSingleFile` Warning, `str1` is implicitly declared local to procedure `GenerateSingleFile` Warning, `varsXX` is implicitly declared local to procedure `GenerateSingleFile` Warning, `str2` is implicitly declared local to procedure `GenerateSingleFile` > > st:=time():RealSmallRank(Matrix(4, 4, [[163-200*X1-108*X2-132*X3-94*X4+34*X5-34*X6-277*X7-13*X8-18*X9,58-62*X1-2*X2-172*X3-101*X4-30*X5+84*X6+68*X7-22*X8-9*X9,64+14*X1-39*X2-5*X3-176*X4-53*X5-160*X6-119*X7-38*X8-17*X9,6+127*X1+153*X2-X3+83*X4-11*X5-75*X6-24*X7+54*X8+121*X9],[19+155*X1+26*X2-7*X3+186*X4+72*X5+106*X6-21*X7+59*X8+21*X9,5+28*X1+175*X2-163*X3+15*X4-33*X5-99*X6-150*X7-213*X8+180*X9,-116+54*X1+45*X2-48*X3-120*X5-101*X6+14*X7+30*X8-88*X9,133-109*X1-185*X2+95*X3+164*X4-77*X5-155*X6-212*X7+13*X8+65*X9],[107+73*X1+115*X2+61*X3+30*X4+81*X5-9*X6-44*X7+71*X8+256*X9,193-20*X1-64*X2+53*X3+174*X4+15*X5+42*X6-53*X7+18*X8+163*X9,15+15*X1+89*X2-57*X3+205*X4-36*X5+158*X6+217*X7-98*X8-49*X9,72-9*X1+170*X2-80*X3+330*X4+65*X5-143*X6+191*X7+106*X8+35*X9],[-40+164*X1-69*X2-109*X3-199*X4+99*X5-42*X6+13*X7+15*X8-85*X9,70-16*X1-65*X2-170*X3+8*X4-79*X5+70*X6+100*X7-62*X8+32*X9,90+80*X1+82*X2-81*X3+108*X4+19*X5+104*X6+66*X7-189*X8+3*X9,54-6*X1+38*X2+196*X3+28*X4+93*X5-102*X6+50*X7+195*X8-258*X9]]), 4, [X1, X2, X3, X4, X5, X6, X7, X8, X9], 3):lprint(time()-st): [91 - 4 Y11 - 10 Y21 - 7 Y31] [ ] [ Y11 ] [ ] [ Y21 ] [ ] [ Y31 ] Checking regularity assumptions [ll1 (-672 Y11 - 1560 Y21 - 1154 Y31 + 14924) + ll2 (-592 Y11 - 1496 Y21 - 1194 Y31 + 14105) + ll3 (-312 Y11 - 715 Y21 - 520 Y31 + 6643) + ll4 (738 Y11 + 2014 Y21 + 1527 Y31 - 18200), ll1 (211 Y11 + 772 Y21 + 521 Y31 - 6279) + ll2 (71 Y11 - 215 Y21 - 367 Y31 + 2366) + ll3 (-524 Y11 - 1061 Y21 - 635 Y31 + 10465) + ll4 (430 Y11 + 1041 Y21 + 909 Y31 - 9828), ll1 (266 Y11 + 1009 Y21 + 959 Y31 - 9919) + ll2 (-135 Y11 + 22 Y21 + 144 Y31 - 637) + ll3 (-191 Y11 - 667 Y21 - 507 Y31 + 5551) + ll4 (356 Y11 + 1315 Y21 + 923 Y31 - 12012), ll1 (804 Y11 + 2098 Y21 + 1421 Y31 - 18109) + ll2 (-729 Y11 - 1860 Y21 - 1138 Y31 + 16926) + ll3 (54 Y11 - 95 Y21 + 120 Y31 + 2730) + ll4 (275 Y11 + 764 Y21 + 741 Y31 - 8554), ll1 (-475 Y11 - 971 Y21 - 600 Y31 + 9009) + ll2 (-321 Y11 - 840 Y21 - 581 Y31 + 6552) + ll3 (-309 Y11 - 846 Y21 - 502 Y31 + 7371) + ll4 (-166 Y11 - 393 Y21 - 249 Y31 + 3094), ll1 (238 Y11 + 524 Y21 + 192 Y31 - 3822) + ll2 (-523 Y11 - 1161 Y21 - 897 Y31 + 9646) + ll3 (78 Y11 + 248 Y21 - 80 Y31 - 819) + ll4 (220 Y11 + 180 Y21 + 163 Y31 - 3094), ll1 (48 Y11 - 64 Y21 - 41 Y31 + 1183) + ll2 (-66 Y11 + 224 Y21 - 65 Y31 - 1911) + ll3 (123 Y11 + 657 Y21 + 499 Y31 - 4004) + ll4 (1176 Y11 + 2651 Y21 + 1915 Y31 - 25207), ll1 (-122 Y11 - 339 Y21 + 90 Y31 + 1365) + ll2 (-449 Y11 - 560 Y21 - 400 Y31 + 5369) + ll3 (-266 Y11 - 808 Y21 - 391 Y31 + 6461) + ll4 (30 Y11 + 92 Y21 + 145 Y31 - 1183), ll1 (372 Y11 + 853 Y21 + 337 Y31 - 7735) + ll2 (96 Y11 - 298 Y21 - 82 Y31 + 1911) + ll3 (-861 Y11 - 2609 Y21 - 1757 Y31 + 23296) + ll4 (63 Y11 + 163 Y21 + 247 Y31 - 1638), ll1 (-672 X1 + 211 X2 + 266 X3 + 804 X4 - 475 X5 + 238 X6 + 48 X7 - 122 X8 + 372 X9 + 230) + ll2 (-592 X1 + 71 X2 - 135 X3 - 729 X4 - 321 X5 - 523 X6 - 66 X7 - 449 X8 + 96 X9 - 71) + ll3 (-312 X1 - 524 X2 - 191 X3 + 54 X4 - 309 X5 + 78 X6 + 123 X7 - 266 X8 - 861 X9 - 235) + ll4 (738 X1 + 430 X2 + 356 X3 + 275 X4 - 166 X5 + 220 X6 + 1176 X7 + 30 X8 + 63 X9 - 594), ll1 (-1560 X1 + 772 X2 + 1009 X3 + 2098 X4 - 971 X5 + 524 X6 - 64 X7 - 339 X8 + 853 X9 + 490) + ll2 (-1496 X1 - 215 X2 + 22 X3 - 1860 X4 - 840 X5 - 1161 X6 + 224 X7 - 560 X8 - 298 X9 - 306) + ll3 (-715 X1 - 1061 X2 - 667 X3 - 95 X4 - 846 X5 + 248 X6 + 657 X7 - 808 X8 - 2609 X9 - 1055) + ll4 (2014 X1 + 1041 X2 + 1315 X3 + 764 X4 - 393 X5 + 180 X6 + 2651 X7 + 92 X8 + 163 X9 - 1566), ll1 (-1154 X1 + 521 X2 + 959 X3 + 1421 X4 - 600 X5 + 192 X6 - 41 X7 + 90 X8 + 337 X9 + 334) + ll2 (-1194 X1 - 367 X2 + 144 X3 - 1138 X4 - 581 X5 - 897 X6 - 65 X7 - 400 X8 - 82 X9) + ll3 (-520 X1 - 635 X2 - 507 X3 + 120 X4 - 502 X5 - 80 X6 + 499 X7 - 391 X8 - 1757 X9 - 677) + ll4 (1527 X1 + 909 X2 + 923 X3 + 741 X4 - 249 X5 + 163 X6 + 1915 X7 + 145 X8 + 247 X9 - 1135)] Regularity assumptions are satisfied "deg", 0 Search for a sep. element remove directly 0 pols (elim=0) aff var=10 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 55 gb "nops(rr1)", 10 Search finished Separating element: X7 remove directly 0 pols (elim=0) aff var=10 2nd-block=0 open simulation passage 2 Avant buildmatrix: to add 0 in 55 gb remove directly 0 pols (elim=0) aff var=10 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 55 gb remove directly 0 pols (elim=0) aff var=10 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 55 gb remove directly 0 pols (elim=0) aff var=10 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 55 gb remove directly 0 pols (elim=0) aff var=10 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 55 gb "deg", 20 Search for a sep. element remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb "nops(rr1)", 9 Search finished Separating element: X6 remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb remove directly 0 pols (elim=0) aff var=9 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 137 gb "deg", 60 Search for a sep. element remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb "nops(rr1)", 8 Search finished Separating element: X5 remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb remove directly 0 pols (elim=0) aff var=8 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 107 gb "deg", 84 Search for a sep. element remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb "nops(rr1)", 7 Search finished Separating element: X4 remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb remove directly 0 pols (elim=0) aff var=7 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 76 gb "deg", 68 Search for a sep. element remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb "nops(rr1)", 6 Search finished Separating element: X3 remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb remove directly 0 pols (elim=0) aff var=6 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 40 gb "deg", 36 Search for a sep. element remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb "nops(rr1)", 5 Search finished Separating element: X2 remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb remove directly 0 pols (elim=0) aff var=5 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 17 gb "deg", 12 remove directly 0 pols (elim=0) aff var=3 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 6 gb remove directly 0 pols (elim=0) aff var=3 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 6 gb remove directly 0 pols (elim=0) aff var=3 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 6 gb remove directly 0 pols (elim=0) aff var=3 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 6 gb remove directly 0 pols (elim=0) aff var=3 2nd-block=0 passage 2 Avant buildmatrix: to add 0 in 6 gb "deg", 4 Size of matrix, number of variables, rank 4, 9, 3 Algebraic degrees: [0, 0, 20, 60, 84, 68, 36, 12, 4] Total degree: 284 Time for checking assumptions: 0.06 Timings for solving Lagrange systems: 14.51, 5.87, 14.80, 47.26, 28.01, 8.99, 2.74, 1.92, 3.76 Total time: 127.93 127.957 > quit memory used=2124.1MB, alloc=323.8MB, time=128.14