What would be the simplest way to define the semiring with elements {0,1} with the logical OR (|) operation as addition and the standard integer multiplication?
At very least it should be accepted by PolynomialRing as the domain for coefficients.
OPTION #1. Luckily this semiring is a subsemiring of InfinityRing:
sage: from sage.matrix.operation_table import OperationTable
sage: R = InfinityRing
sage: OperationTable([R(0),R(1)], operation=operator.add, names='digits')
+ 0 1
+----
0| 0 1
1| 1 1
sage: OperationTable([R(0),R(1)], operation=operator.mul, names='digits')
* 0 1
+----
0| 0 0
1| 0 1There is however a bug in addition, which I reported at https://trac.sagemath.org/ticket/34231
OPTION #2. Another approach is to use TropicalSemiring as follows:
R = TropicalSemiring(GF(2), use_min=False)Asked: 2 years ago
Seen: 216 times
Last updated: Oct 17 '22
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
Is this
GF(2)?No. In GF(2) we have 1+1=0, while here 1+1=1.