/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/cmd/compile/internal/ssa/gen/ |
H A D | genericOps.go | 27 {name: "Add16", argLength: 2, commutative: true}, 28 {name: "Add32", argLength: 2, commutative: true}, 29 {name: "Add64", argLength: 2, commutative: true}, 31 {name: "Add32F", argLength: 2, commutative: true}, 32 {name: "Add64F", argLength: 2, commutative: true}, 43 {name: "Mul16", argLength: 2, commutative: true}, 44 {name: "Mul32", argLength: 2, commutative: true}, 45 {name: "Mul64", argLength: 2, commutative: true}, 93 {name: "Or16", argLength: 2, commutative: true}, 94 {name: "Or32", argLength: 2, commutative: true}, [all …]
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/compile/internal/ssa/gen/ |
H A D | genericOps.go | 26 {name: "Add16", argLength: 2, commutative: true}, 27 {name: "Add32", argLength: 2, commutative: true}, 28 {name: "Add64", argLength: 2, commutative: true}, 30 {name: "Add32F", argLength: 2, commutative: true}, 31 {name: "Add64F", argLength: 2, commutative: true}, 42 {name: "Mul16", argLength: 2, commutative: true}, 43 {name: "Mul32", argLength: 2, commutative: true}, 44 {name: "Mul64", argLength: 2, commutative: true}, 45 {name: "Mul32F", argLength: 2, commutative: true}, 46 {name: "Mul64F", argLength: 2, commutative: true}, [all …]
|
H A D | RISCV64Ops.go | 149 {name: "ADD", argLength: 2, reg: gp21, asm: "ADD", commutative: true}, // arg0 + arg1 159 …{name: "MUL", argLength: 2, reg: gp21, asm: "MUL", commutative: true, typ: "Int64"}, // arg0 * arg1 160 {name: "MULW", argLength: 2, reg: gp21, asm: "MULW", commutative: true, typ: "Int32"}, 161 {name: "MULH", argLength: 2, reg: gp21, asm: "MULH", commutative: true, typ: "Int64"}, 162 {name: "MULHU", argLength: 2, reg: gp21, asm: "MULHU", commutative: true, typ: "UInt64"}, 221 {name: "XOR", argLength: 2, reg: gp21, asm: "XOR", commutative: true}, // arg0 ^ arg1 223 {name: "OR", argLength: 2, reg: gp21, asm: "OR", commutative: true}, // arg0 | arg1 225 {name: "AND", argLength: 2, reg: gp21, asm: "AND", commutative: true}, // arg0 & arg1 408 …{name: "FADDS", argLength: 2, reg: fp21, asm: "FADDS", commutative: true, typ: "Float32"}, … 409 …{name: "FSUBS", argLength: 2, reg: fp21, asm: "FSUBS", commutative: false, typ: "Float32"}, … [all …]
|
H A D | S390XOps.go | 209 …{name: "FADDS", argLength: 2, reg: fp21clobber, typ: "(Float32,Flags)", asm: "FADDS", commutative:… 210 …{name: "FADD", argLength: 2, reg: fp21clobber, typ: "(Float64,Flags)", asm: "FADD", commutative: t… 213 …{name: "FMULS", argLength: 2, reg: fp21, asm: "FMULS", commutative: true, resultInArg0: true}, … 214 …{name: "FMUL", argLength: 2, reg: fp21, asm: "FMUL", commutative: true, resultInArg0: true}, … 251 …{name: "ADD", argLength: 2, reg: gp21sp, asm: "ADD", commutative: true, clobberFlags: true}, … 252 …{name: "ADDW", argLength: 2, reg: gp21sp, asm: "ADDW", commutative: true, clobberFlags: true}, … 272 …{name: "MULHD", argLength: 2, reg: gp21tmp, asm: "MULHD", typ: "Int64", commutative: true, resultI… 273 …{name: "MULHDU", argLength: 2, reg: gp21tmp, asm: "MULHDU", typ: "Int64", commutative: true, resul… 293 …{name: "OR", argLength: 2, reg: gp21, asm: "OR", commutative: true, clobberFlags: true}, … 294 …{name: "ORW", argLength: 2, reg: gp21, asm: "ORW", commutative: true, clobberFlags: true}, … [all …]
|
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/cmd/compile/internal/ssa/gen/ |
H A D | genericOps.go | 25 {name: "Add16", argLength: 2, commutative: true}, 26 {name: "Add32", argLength: 2, commutative: true}, 27 {name: "Add64", argLength: 2, commutative: true}, 29 {name: "Add32F", argLength: 2, commutative: true}, 30 {name: "Add64F", argLength: 2, commutative: true}, 41 {name: "Mul16", argLength: 2, commutative: true}, 42 {name: "Mul32", argLength: 2, commutative: true}, 43 {name: "Mul64", argLength: 2, commutative: true}, 44 {name: "Mul32F", argLength: 2, commutative: true}, 45 {name: "Mul64F", argLength: 2, commutative: true}, [all …]
|
H A D | RISCV64Ops.go | 130 {name: "ADD", argLength: 2, reg: gp21, asm: "ADD", commutative: true}, // arg0 + arg1 136 …{name: "MUL", argLength: 2, reg: gp21, asm: "MUL", commutative: true, typ: "Int64"}, // arg0 * arg1 137 {name: "MULW", argLength: 2, reg: gp21, asm: "MULW", commutative: true, typ: "Int32"}, 138 {name: "MULH", argLength: 2, reg: gp21, asm: "MULH", commutative: true, typ: "Int64"}, 139 {name: "MULHU", argLength: 2, reg: gp21, asm: "MULHU", commutative: true, typ: "UInt64"}, 181 {name: "XOR", argLength: 2, reg: gp21, asm: "XOR", commutative: true}, // arg0 ^ arg1 183 {name: "OR", argLength: 2, reg: gp21, asm: "OR", commutative: true}, // arg0 | arg1 185 {name: "AND", argLength: 2, reg: gp21, asm: "AND", commutative: true}, // arg0 & arg1 283 …{name: "FADDS", argLength: 2, reg: fp21, asm: "FADDS", commutative: true, typ: "Float32"}, … 284 …{name: "FSUBS", argLength: 2, reg: fp21, asm: "FSUBS", commutative: false, typ: "Float32"}, … [all …]
|
H A D | S390XOps.go | 207 …{name: "FADDS", argLength: 2, reg: fp21clobber, asm: "FADDS", commutative: true, resultInArg0: tru… 208 …{name: "FADD", argLength: 2, reg: fp21clobber, asm: "FADD", commutative: true, resultInArg0: true,… 211 …{name: "FMULS", argLength: 2, reg: fp21, asm: "FMULS", commutative: true, resultInArg0: true}, … 212 …{name: "FMUL", argLength: 2, reg: fp21, asm: "FMUL", commutative: true, resultInArg0: true}, … 249 …{name: "ADD", argLength: 2, reg: gp21sp, asm: "ADD", commutative: true, clobberFlags: true}, … 250 …{name: "ADDW", argLength: 2, reg: gp21sp, asm: "ADDW", commutative: true, clobberFlags: true}, … 270 …{name: "MULHD", argLength: 2, reg: gp21tmp, asm: "MULHD", typ: "Int64", commutative: true, resultI… 271 …{name: "MULHDU", argLength: 2, reg: gp21tmp, asm: "MULHDU", typ: "Int64", commutative: true, resul… 291 …{name: "OR", argLength: 2, reg: gp21, asm: "OR", commutative: true, clobberFlags: true}, … 292 …{name: "ORW", argLength: 2, reg: gp21, asm: "ORW", commutative: true, clobberFlags: true}, … [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 80 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true) 81 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true) 82 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true) 83 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true) 84 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true) 85 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true) 88 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true) 89 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true) 90 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true) 91 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true) [all …]
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 80 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true) 81 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true) 82 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true) 83 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true) 84 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true) 85 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true) 88 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true) 89 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true) 90 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true) 91 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true) [all …]
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 83 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true) 86 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true) 87 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true) 88 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true) 89 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true) 90 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true) 93 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true) 94 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true) 95 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true) 96 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true) [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/ |
H A D | ArithmeticOpTable.java | 506 super("+", associative, commutative); in Add() 513 super("-", associative, commutative); in Sub() 520 super("*", associative, commutative); in Mul() 541 super("/", associative, commutative); in Div() 548 super("%", associative, commutative); in Rem() 574 private final boolean commutative; field in ArithmeticOpTable.BinaryOp 579 this.commutative = commutative; in BinaryOp() 611 return commutative; in isCommutative() 666 if (commutative != that.commutative) { in equals() 675 if (commutative) { in toString() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 83 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 86 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 87 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true, ignore… 88 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignore… 89 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 90 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true, ignores… 93 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 94 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 95 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignores… 96 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffect… [all …]
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 86 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 89 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 90 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true, ignore… 91 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignore… 92 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 93 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true, ignores… 96 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 97 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 98 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignores… 99 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffect… [all …]
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 86 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 89 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 90 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true, ignore… 91 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignore… 92 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 93 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true, ignores… 96 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 97 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 98 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignores… 99 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffect… [all …]
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/gen/ |
H A D | NodeMatchRules.java | 85 @MatchableNode(nodeClass = AndNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 88 @MatchableNode(nodeClass = FloatEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 89 @MatchableNode(nodeClass = FloatLessThanNode.class, inputs = {"x", "y"}, commutative = true, ignore… 90 @MatchableNode(nodeClass = PointerEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignore… 91 @MatchableNode(nodeClass = AddNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 92 @MatchableNode(nodeClass = IntegerBelowNode.class, inputs = {"x", "y"}, commutative = true, ignores… 95 @MatchableNode(nodeClass = MulNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffec… 96 @MatchableNode(nodeClass = IntegerTestNode.class, inputs = {"x", "y"}, commutative = true, ignoresS… 97 @MatchableNode(nodeClass = ObjectEqualsNode.class, inputs = {"x", "y"}, commutative = true, ignores… 98 @MatchableNode(nodeClass = OrNode.class, inputs = {"x", "y"}, commutative = true, ignoresSideEffect… [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/base-env/ |
H A D | base-env-numeric.rkt | 64 (define (commutative-binop a1 a2 [r a2]) 67 (define (commutative-case t1 t2 [r t1]) 155 (commutative-binop -Int -Zero) 330 (commutative-binop -Byte -Nat -Byte) 356 (commutative-binop -Zero -Int -Zero) 357 (commutative-binop -Byte -Int -Byte) 1028 (commutative-case -Zero N -Zero) 1194 (commutative-case -Zero N -Zero) 1252 (commutative-case -One -Zero) 1259 (commutative-case -Nat -Int) [all …]
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/generic-deriving-1.14/tests/ |
H A D | DefaultSpec.hs | 45 let commutative :: GEq a => a -> a -> Expectation 46 commutative x y = x `geq` y `shouldBe` y `geq` x function 51 in commutative <$> universe <*> universe 58 let commutative :: GEq a => a -> a -> Expectation 59 commutative x y = x `geq` y `shouldBe` y `geq` x function 64 in commutative <$> universe <*> universe 71 let commutative :: GEq a => a -> a -> Expectation 72 commutative x y = x `geq` y `shouldBe` y `geq` x function 77 in commutative <$> universe <*> universe
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/generic-deriving-1.13.1/tests/ |
H A D | DefaultSpec.hs | 45 let commutative :: GEq a => a -> a -> Expectation 46 commutative x y = x `geq` y `shouldBe` y `geq` x function 51 in commutative <$> universe <*> universe 58 let commutative :: GEq a => a -> a -> Expectation 59 commutative x y = x `geq` y `shouldBe` y `geq` x function 64 in commutative <$> universe <*> universe 71 let commutative :: GEq a => a -> a -> Expectation 72 commutative x y = x `geq` y `shouldBe` y `geq` x function 77 in commutative <$> universe <*> universe
|
/dports/math/py-sympy/sympy-1.9/sympy/assumptions/ |
H A D | ask_generated.py | 104 Q.commutative: (set([Q.commutative]), set([])), 105 Q.complex: (set([Q.commutative, Q.complex, Q.finite]), 118 Q.even: (set([Q.algebraic, Q.commutative, Q.complex, Q.even, 134 Q.extended_nonzero: (set([Q.commutative, Q.extended_nonzero, 140 Q.extended_real: (set([Q.commutative, Q.extended_real]), 142 Q.finite: (set([Q.commutative, Q.finite]), set([Q.infinite, 159 Q.integer: (set([Q.algebraic, Q.commutative, Q.complex, 203 Q.odd: (set([Q.algebraic, Q.commutative, Q.complex, 227 Q.prime: (set([Q.algebraic, Q.commutative, Q.complex, 235 Q.rational: (set([Q.algebraic, Q.commutative, Q.complex, [all …]
|