Lines Matching +refs:local +refs:signs

26     local matcong, cone, ncong, ncoord, nequ, matfree;
97     local cone,  ncoord;
119     cone:=NmzCone(["inequalities",ls,"signs",[List([1..ncoord],_->1)]]);
138     local mat, cone, n, facs;
170     local mat, cone, n, hom, par, tot, le, ls;
215     local mat, cone, n, hom, par, tot, le, ls, one;
227     cone:=NmzCone(["inhom_inequalities",mat,"signs",one]);
243     local n, mat, cone, facs;
281     local mat, n, cone, facs, ls;
305     local ls, min, tame, gen,m, facts, t, minimalElementsPrincipalIdealOfAffineSemigroup;
310         local mat, cone, n, hom, par, tot, le, ls, one;
320         cone:=NmzCone(["inhom_inequalities",mat,"signs",one]);