# Differences

This shows you the differences between two versions of the page.

 pointwise_function_product [2015/04/17 15:28]nikolaj old revision restored (2015/04/17 15:27) pointwise_function_product [2015/04/17 15:30] (current)nikolaj Both sides previous revision Previous revision 2015/04/17 15:30 nikolaj 2015/04/17 15:28 nikolaj old revision restored (2015/04/17 15:27)2015/04/17 15:28 nikolaj old revision restored (2015/04/17 15:19)2015/04/17 15:27 nikolaj 2015/04/17 15:19 nikolaj 2014/03/21 11:11 external edit2013/09/05 00:09 nikolaj 2013/09/05 00:09 nikolaj 2013/09/05 00:08 nikolaj created 2015/04/17 15:30 nikolaj 2015/04/17 15:28 nikolaj old revision restored (2015/04/17 15:27)2015/04/17 15:28 nikolaj old revision restored (2015/04/17 15:19)2015/04/17 15:27 nikolaj 2015/04/17 15:19 nikolaj 2014/03/21 11:11 external edit2013/09/05 00:09 nikolaj 2013/09/05 00:09 nikolaj 2013/09/05 00:08 nikolaj created Line 3: Line 3: | @#55CCEE: context ​    | @#55CCEE: $S$ ... set | | @#55CCEE: context ​    | @#55CCEE: $S$ ... set | | @#55CCEE: context ​    | @#55CCEE: $\langle\!\langle M,* \rangle\!\rangle$ ... magma | | @#55CCEE: context ​    | @#55CCEE: $\langle\!\langle M,* \rangle\!\rangle$ ... magma | - | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle M^S,\star \rangle\!\rangle$ | | @#FF9944: definition ​ | @#FF9944: $\star\in$ binary operation on $M^S$ | | @#FF9944: definition ​ | @#FF9944: $\star\in$ binary operation on $M^S$ | | @#FF9944: definition ​ | @#FF9944: $(f\star g)(s):​=f(s)*g(s)$ | | @#FF9944: definition ​ | @#FF9944: $(f\star g)(s):​=f(s)*g(s)$ | Line 22: Line 21: ----- ----- === Context === === Context === + [[Magma]] + === Subset of === [[Magma]] [[Magma]] === Requirements* === === Requirements* === [[Magma]] [[Magma]]