Home
last modified time | relevance | path

Searched refs:commutative (Results 1 – 25 of 2764) sorted by relevance

12345678910>>...111

/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/cmd/compile/internal/ssa/gen/
H A DgenericOps.go27 {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 DgenericOps.go26 {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 DRISCV64Ops.go149 {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 DS390XOps.go209 …{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 DgenericOps.go25 {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 DRISCV64Ops.go130 {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 DS390XOps.go207 …{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 DNodeMatchRules.java80 @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 DNodeMatchRules.java80 @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 DNodeMatchRules.java83 @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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DArithmeticOpTable.java506 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 DNodeMatchRules.java83 @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 DNodeMatchRules.java86 @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 DNodeMatchRules.java86 @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 DNodeMatchRules.java85 @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 Dbase-env-numeric.rkt64 (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 DDefaultSpec.hs45 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 DDefaultSpec.hs45 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 Dask_generated.py104 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 …]

12345678910>>...111