| /dports/math/GiNaC/ginac-1.8.2/ginac/polynomial/ |
| H A D | pgcd.cpp | 75 exvector restvars = vars; in pgcd() local
76 restvars.pop_back(); in pgcd()
77 const ex AL = lcoeff_wrt(Aprim, restvars); in pgcd()
78 const ex BL = lcoeff_wrt(Bprim, restvars); in pgcd()
83 exp_vector_t gcd_deg = std::min(degree_vector(Aprim, restvars), in pgcd()
84 degree_vector(Bprim, restvars)); in pgcd()
100 ex Cb = pgcd(Ab, Bb, restvars, p); in pgcd()
105 const cln::cl_I Cblc = integer_lcoeff(Cb, restvars); in pgcd()
109 const exp_vector_t img_gcd_deg = degree_vector(Cb, restvars); in pgcd()
136 const ex H_lcoeff = lcoeff_wrt(H, restvars); in pgcd()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 125 List<Type> restvars() { in restvars() method in InferenceContext
256 notifyChange(inferencevars.diff(restvars())); in notifyChange()
484 return restvars().isEmpty(); in solve()
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
543 if (restvars().isEmpty() || partial) { in solveLegacy()
549 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 126 List<Type> restvars() { in restvars() method in InferenceContext
257 notifyChange(inferencevars.diff(restvars())); in notifyChange()
487 return restvars().isEmpty(); in solve()
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
546 if (restvars().isEmpty() || partial) { in solveLegacy()
552 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 125 List<Type> restvars() { in restvars() method in InferenceContext
256 notifyChange(inferencevars.diff(restvars())); in notifyChange()
484 return restvars().isEmpty(); in solve()
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
543 if (restvars().isEmpty() || partial) { in solveLegacy()
549 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 126 List<Type> restvars() { in restvars() method in InferenceContext
257 notifyChange(inferencevars.diff(restvars())); in notifyChange()
487 return restvars().isEmpty(); in solve()
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
546 if (restvars().isEmpty() || partial) { in solveLegacy()
552 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 126 List<Type> restvars() { in restvars() method in InferenceContext
257 notifyChange(inferencevars.diff(restvars())); in notifyChange()
487 return restvars().isEmpty(); in solve()
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
546 if (restvars().isEmpty() || partial) { in solveLegacy()
552 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1654 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1886 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 126 List<Type> restvars() { in restvars() method in InferenceContext
257 notifyChange(inferencevars.diff(restvars())); in notifyChange()
487 return restvars().isEmpty(); in solve()
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
546 if (restvars().isEmpty() || partial) { in solveLegacy()
552 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 227 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
428 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1651 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1883 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 125 List<Type> restvars() { in restvars() method in InferenceContext
256 notifyChange(inferencevars.diff(restvars())); in notifyChange()
484 return restvars().isEmpty(); in solve()
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
543 if (restvars().isEmpty() || partial) { in solveLegacy()
549 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 126 List<Type> restvars() { in restvars() method in InferenceContext
257 notifyChange(inferencevars.diff(restvars())); in notifyChange()
487 return restvars().isEmpty(); in solve()
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
546 if (restvars().isEmpty() || partial) { in solveLegacy()
552 infer.instantiateAsUninferredVars(restvars(), this); in solveLegacy()
|
| H A D | Infer.java | 226 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
427 …ags.fragment(Fragments.InferNoConformingInstanceExists(inferenceContext.restvars(), mt.getReturnTy… in generateReturnConstraints()
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1899 for (Type t : inferenceContext.restvars()) { in initNodes()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | Infer.java | 194 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
269 inferenceContext.restvars(), mt.getReturnType(), to); in generateReturnConstraints()
1636 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1894 for (Type t : inferenceContext.restvars()) { in initNodes()
2018 List<Type> restvars() { in restvars() method in Infer.InferenceContext
2161 notifyChange(inferencevars.diff(restvars()));
2259 return restvars().isEmpty();
2279 solve(new BestLeafSolver(varsToSolve.intersect(restvars())) {
2295 for (Type t : varsToSolve.intersect(restvars())) {
2318 if (restvars().isEmpty() || partial) {
[all …]
|
| H A D | DeferredAttr.java | 483 .intersect(inferenceContext.restvars()); in complete()
487 .intersect(inferenceContext.restvars())) { in complete()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | Infer.java | 194 inferenceContext.restvars().nonEmpty() && in instantiateMethod()
269 inferenceContext.restvars(), mt.getReturnType(), to); in generateReturnConstraints()
1636 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1894 for (Type t : inferenceContext.restvars()) { in initNodes()
2018 List<Type> restvars() { in restvars() method in Infer.InferenceContext
2161 notifyChange(inferencevars.diff(restvars()));
2259 return restvars().isEmpty();
2279 solve(new BestLeafSolver(varsToSolve.intersect(restvars())) {
2295 for (Type t : varsToSolve.intersect(restvars())) {
2318 if (restvars().isEmpty() || partial) {
[all …]
|
| H A D | DeferredAttr.java | 483 .intersect(inferenceContext.restvars()); in complete()
487 .intersect(inferenceContext.restvars())) { in complete()
|
| /dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
| H A D | fixes2.red | 259 % begin scalar intvar,intvar2,vars,restvars;
266 % if idp intvar and ( restvars := mymemq(intvar,vars,nil) )
268 % if (pairp cdr restvars) and numberp (intvar2 := cadr restvars)
271 % restvars)));
274 % restvars));
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/src/ |
| H A D | compiler.lisp | 6897 (if (null restvars)
6899 (let ((restvar (car restvars))
6908 (defun shift-vars (restvars)
6948 restvars)
7007 restvars)
7315 restvars)
7349 restvars))
7379 restvars)
7407 restvars)
7435 restvars)
[all …]
|
| /dports/www/py-pyramid/pyramid-1.7.3/pyramid/scripts/ |
| H A D | pserve.py | 199 restvars = self.args[2:]
201 restvars = self.args[1:]
203 return parse_vars(restvars)
|
| /dports/math/fricas/fricas-1.3.7/src/interp/ |
| H A D | i-coerfn.boot | 933 Mp2MpAux2(u,x,oldcomm,oldrest,common,restvars,univariate,S,isUnder) ==
944 Mp2MpAux2(u,x,oldcomm,oldrest,common,restvars,univariate,S,isUnder)
946 common,restvars,univariate,S,isUnder)] for [e,:c] in u']]
948 [0,:Mp2MpAux2(u,x,oldcomm,oldrest,common,restvars,univariate,S,true)]
951 [var,:restvars] := restvars
954 Mp2MpAux2(u,x,oldcomm,oldrest,common,restvars,univariate,S,isUnder)
956 common,restvars,univariate,S,isUnder)] for [e,:c] in u']]
|