|\^/| 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, [[41+107*X1-59*X2-10*X3+87*X4-79*X5+115*X6-9*X7+48*X8+119*X9-216*X10,-22+6*X1+22*X2-10*X3-10*X4-112*X5+136*X6+18*X7-109*X8+94*X9+17*X10,33-5*X1-37*X2+26*X3-116*X4+29*X5+9*X6-43*X7+82*X8-58*X9+105*X10,-33-17*X1+66*X2+53*X3+141*X4-54*X5+126*X6+232*X7-72*X8+67*X9+22*X10],[87-21*X1+261*X2-54*X3-47*X4-91*X5+8*X6+77*X7+43*X8+232*X9+2*X10,-93+52*X1+99*X2+49*X3-9*X4+158*X5+2*X6-50*X7-19*X8-174*X9-59*X10,-145-51*X1-45*X2+161*X3-48*X4-19*X5+51*X6+42*X7+115*X8+139*X9+22*X10,-32+151*X1+31*X2-86*X3-135*X4+149*X5+3*X6+37*X7+134*X8+38*X9-115*X10],[-64+79*X1+159*X2+201*X3+124*X4-43*X5+105*X6+128*X7+189*X8+9*X9-25*X10,-70+105*X1+73*X2+96*X3+65*X4+5*X5-65*X6-148*X7+14*X8+9*X9+69*X10,-34-127*X1+48*X2-140*X3+55*X4-23*X5-87*X6+7*X7+3*X8-26*X9-68*X10,110-40*X1+152*X2-165*X3-41*X4-19*X5-46*X6-15*X7+61*X8+95*X9-170*X10],[94+30*X1-72*X2-125*X3+39*X4+120*X5+70*X6-181*X7+121*X8-25*X9-94*X10,-138-177*X1+111*X2-2*X3+36*X4+6*X5+70*X6-131*X7+98*X8+17*X9+144*X10,-45+35*X1-40*X2-197*X3+99*X4-14*X5+94*X6-7*X7+123*X8-79*X9-18*X10,-245-111*X1-61*X2+28*X3+130*X4-X5-49*X6-158*X7-90*X8-144*X9+191*X10]]), 4, [X1, X10, X2, X3, X4, X5, X6, X7, X8, X9], 3):lprint(time()-st): [-41 - 8 Y11 - 10 Y21 - Y31] [ ] [ Y11 ] [ ] [ Y21 ] [ ] [ Y31 ] Checking regularity assumptions [ll1 (-527 Y11 - 917 Y21 - 119 Y31 - 3239) + ll2 (-850 Y11 - 1075 Y21 - 124 Y31 - 4387) + ll3 (220 Y11 + 159 Y21 + 172 Y31 + 861) + ll4 (-417 Y11 - 265 Y21 - 141 Y31 - 1230), ll1 (269 Y11 + 182 Y21 - 145 Y31 + 1025) + ll2 (1745 Y11 + 2265 Y21 + 238 Y31 + 8856) + ll3 (-75 Y11 + 2 Y21 - 117 Y31 - 82) + ll4 (896 Y11 + 922 Y21 + 285 Y31 + 3854), ll1 (-1199 Y11 - 1542 Y21 - 7 Y31 - 6519) + ll2 (494 Y11 + 553 Y21 + 125 Y31 + 2419) + ll3 (-1989 Y11 - 2655 Y21 - 230 Y31 - 10701) + ll4 (687 Y11 + 680 Y21 + 11 Y31 + 2952), ll1 (-1512 Y11 - 2150 Y21 - 366 Y31 - 8241) + ll2 (70 Y11 + 126 Y21 + 63 Y31 + 410) + ll3 (481 Y11 + 701 Y21 - 32 Y31 + 2214) + ll4 (998 Y11 + 1053 Y21 + 153 Y31 + 5125), ll1 (-927 Y11 - 1185 Y21 - 165 Y31 - 5084) + ll2 (-706 Y11 - 986 Y21 + 54 Y31 - 3567) + ll3 (367 Y11 + 422 Y21 - 88 Y31 + 1927) + ll4 (-276 Y11 - 291 Y21 + 91 Y31 - 1599), ll1 (349 Y11 + 407 Y21 + 24 Y31 + 1763) + ll2 (520 Y11 + 819 Y21 + 25 Y31 + 3239) + ll3 (886 Y11 + 891 Y21 + 240 Y31 + 3731) + ll4 (-954 Y11 - 1214 Y21 - 121 Y31 - 4920), ll1 (-905 Y11 - 1137 Y21 - 151 Y31 - 4305) + ll2 (-784 Y11 - 1141 Y21 + 11 Y31 - 4715) + ll3 (-62 Y11 - 29 Y21 - 5 Y31 - 328) + ll4 (-490 Y11 - 606 Y21 - 119 Y31 - 2870), ll1 (-1172 Y11 - 1273 Y21 - 143 Y31 - 5248) + ll2 (90 Y11 + 47 Y21 + 241 Y31 + 369) + ll3 (-666 Y11 - 728 Y21 - 40 Y31 - 3157) + ll4 (1317 Y11 + 1803 Y21 + 23 Y31 + 7421), ll1 (-1498 Y11 - 1887 Y21 - 128 Y31 - 7749) + ll2 (-493 Y11 - 398 Y21 - 120 Y31 - 1968) + ll3 (-363 Y11 - 315 Y21 + 91 Y31 - 1763) + ll4 (-870 Y11 - 1087 Y21 - 211 Y31 - 4961), ll1 (-63 Y11 - 116 Y21 + 86 Y31 - 369) + ll2 (-858 Y11 - 1248 Y21 - 52 Y31 - 4879) + ll3 (-2030 Y11 - 2181 Y21 - 194 Y31 - 9512) + ll4 (217 Y11 + 171 Y21 - 119 Y31 + 1025), ll1 (-527 X1 + 269 X10 - 1199 X2 - 1512 X3 - 927 X4 + 349 X5 - 905 X6 - 1172 X7 - 1498 X8 - 63 X9 + 442) + ll2 (-850 X1 + 1745 X10 + 494 X2 + 70 X3 - 706 X4 + 520 X5 - 784 X6 + 90 X7 - 493 X8 - 858 X9 - 350) + ll3 (220 X1 - 75 X10 - 1989 X2 + 481 X3 + 367 X4 + 886 X5 - 62 X6 - 666 X7 - 363 X8 - 2030 X9 - 789) + ll4 (-417 X1 + 896 X10 + 687 X2 + 998 X3 - 276 X4 - 954 X5 - 490 X6 + 1317 X7 - 870 X8 + 217 X9 - 890), ll1 (-917 X1 + 182 X10 - 1542 X2 - 2150 X3 - 1185 X4 + 407 X5 - 1137 X6 - 1273 X7 - 1887 X8 - 116 X9 + 606) + ll2 (-1075 X1 + 2265 X10 + 553 X2 + 126 X3 - 986 X4 + 819 X5 - 1141 X6 + 47 X7 - 398 X8 - 1248 X9 - 377) + ll3 (159 X1 + 2 X10 - 2655 X2 + 701 X3 + 422 X4 + 891 X5 - 29 X6 - 728 X7 - 315 X8 - 2181 X9 - 1015) + ll4 ( -265 X1 + 922 X10 + 680 X2 + 1053 X3 - 291 X4 - 1214 X5 - 606 X6 + 1803 X7 - 1087 X8 + 171 X9 - 985), ll1 (-119 X1 - 145 X10 - 7 X2 - 366 X3 - 165 X4 + 24 X5 - 151 X6 - 143 X7 - 128 X8 + 86 X9 + 174) + ll2 (-124 X1 + 238 X10 + 125 X2 + 63 X3 + 54 X4 + 25 X5 + 11 X6 + 241 X7 - 120 X8 - 52 X9 - 74) + ll3 (172 X1 - 117 X10 - 230 X2 - 32 X3 - 88 X4 + 240 X5 - 5 X6 - 40 X7 + 91 X8 - 194 X9 - 119) + ll4 (-141 X1 + 285 X10 + 11 X2 + 153 X3 + 91 X4 - 121 X5 - 119 X6 + 23 X7 - 211 X8 - 119 X9 - 339)] Regularity assumptions are satisfied "deg", 0 "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: X6 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: X5 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: X4 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: X3 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: X2 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: X10 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, 10, 3 Algebraic degrees: [0, 0, 0, 20, 60, 84, 68, 36, 12, 4] Total degree: 284 Time for checking assumptions: 0.06 Timings for solving Lagrange systems: 25.92, 9.64, 5.52, 14.27, 46.07, 30.98, 9.52, 3.01, 2.10, 4.34 Total time: 151.42 151.444 > quit memory used=3469.0MB, alloc=355.8MB, time=151.62