Home
last modified time | relevance | path

Searched refs:Distributivity (Results 1 – 21 of 21) sorted by relevance

/dports/devel/boost-docs/boost_1_72_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/devel/boost-python-libs/boost_1_72_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/databases/percona57-server/boost_1_59_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/databases/xtrabackup/boost_1_59_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/databases/percona57-client/boost_1_59_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/devel/boost-libs/boost_1_72_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/devel/hyperscan/boost_1_75_0/libs/icl/doc/
H A Dsemantics.qbk193 [h5 Distributivity Laws]
205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c)
206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c)
219 Distributivity joining == ==
454 [h5 Distributivity Laws]
457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c)
458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c)
470 Distributivity joining == ==
/dports/math/p5-Math-MatrixReal/Math-MatrixReal-2.13/
H A DKleene.pod30 Distributivity holds, i.e.,
48 Distributivity for infinite series also holds, i.e.,
/dports/math/gap/gap-4.11.0/pkg/sonata-2.9.1/doc/ref/
H A Dmanual.toc38 \seccontents {2.21}{Distributivity in a nearring} {24}
H A Dmanual.idx83 \indexentry {Distributivity in a nearring@Distributivity in a nearring|indexit}{24}
H A Dmanual.six85 S 2.21. Distributivity in a nearring
H A Dmanual.lab88 \makelabel{sonata:Distributivity in a nearring}{2.21}
H A Dnr.tex622 \Section{Distributivity in a nearring}
/dports/misc/otter/otter-3.3f/examples/fringe/
H A Dbring.in87 P1((A & (B | C)) <--> ((A & B) | (A & C))). % Distributivity
H A Dif.in100 P1((A & (B | C)) <--> ((A & B) | (A & C))). % Distributivity (=1)
/dports/devel/py-boolean.py/boolean.py-3.8/docs/
H A Dconcepts.rst197 Distributivity subsection
/dports/lang/v8/v8-9.6.180.12/test/cctest/
H A Dtest-types.cc994 void Distributivity() { in Distributivity() function
1073 TEST(Distributivity) { Tests().Distributivity(); } in TEST() argument
/dports/lang/ceylon/ceylon-1.3.3/doc/en/spec/info/
H A Dceylon-spec.info-11689 * Distributivity over union: 'X&<Y|Z>' is the same type as
H A Dceylon-spec.texi2392 Distributivity over union: @code{X&<Y|Z>} is the same