algebra/solver/Solver.mac

315 define_variable( Solver_Default_Valuation, 10, fixnum )$
325 define_variable( Solver_Max_Len_Val_Order, 5, fixnum )$
575       i, fixnum,
786       i, fixnum,
862       i, fixnum,
919       s : read( "Is", Expression, "zero or nonzero?" )
968       i, fixnum,
1126       [ i, j, me, mv, NumVars, NumEqs, MaxValVar, MaxValEq ], fixnum
1231           MaxValEq : mode_identity( fixnum, EqValuation[i] )
1242           MaxValVar : mode_identity( fixnum, VarValuation[j] )
1422     [ ValEq, ValVar ], fixnum
1438     [ ValEq, ValVar ], fixnum
1574       [ i, k ], fixnum
1632         k   : mode_identity( fixnum, first( SolveInfo ) ),
2006       OpFactor, fixnum
2024             OpFactor : mode_identity( fixnum, get( op( Expr ), 'Valuation ) )
2114       [ i, j, v, ne, nv, Function( RowSize, ColSize, Position ) ], fixnum
2166           if ( v : mode_identity( fixnum, ValMat[i, j] ) ) # 0 then
2208       i, fixnum