1
+ # sage.doctest: needs sage.modules
1
2
r"""
2
3
Elements of posets, lattices, semilattices, etc.
3
4
"""
@@ -78,13 +79,13 @@ def _latex_(self):
78
79
79
80
EXAMPLES::
80
81
81
- sage: m = matrix(2, [1,2,3,4]) # optional - sage.modules
82
- sage: m.set_immutable() # optional - sage.modules
83
- sage: P = Poset(([m],[]), facade=False) # optional - sage.modules
84
- sage: [e] = P # optional - sage.modules
85
- sage: type(e) # optional - sage.modules
82
+ sage: m = matrix(2, [1,2,3,4])
83
+ sage: m.set_immutable()
84
+ sage: P = Poset(([m],[]), facade=False)
85
+ sage: [e] = P
86
+ sage: type(e)
86
87
<class 'sage.combinat.posets.posets.FinitePoset_with_category.element_class'>
87
- sage: latex(e) #indirect doctest # optional - sage.modules
88
+ sage: latex(e) #indirect doctest
88
89
\left(\begin{array}{rr}
89
90
1 & 2 \\
90
91
3 & 4
@@ -244,13 +245,13 @@ def __mul__(self, other):
244
245
EXAMPLES::
245
246
246
247
sage: D = posets.DiamondPoset(5, facade=False)
247
- sage: D(1) * D(2) # optional - sage.modules
248
+ sage: D(1) * D(2)
248
249
0
249
- sage: D(1) * D(1) # optional - sage.modules
250
+ sage: D(1) * D(1)
250
251
1
251
- sage: D(1) * D(0) # optional - sage.modules
252
+ sage: D(1) * D(0)
252
253
0
253
- sage: D(1) * D(4) # optional - sage.modules
254
+ sage: D(1) * D(4)
254
255
1
255
256
"""
256
257
return self .parent ().meet (self , other )
@@ -264,13 +265,13 @@ def __add__(self, other):
264
265
EXAMPLES::
265
266
266
267
sage: D = posets.DiamondPoset(5,facade=False)
267
- sage: D(1) + D(2) # optional - sage.modules
268
+ sage: D(1) + D(2)
268
269
4
269
- sage: D(1) + D(1) # optional - sage.modules
270
+ sage: D(1) + D(1)
270
271
1
271
- sage: D(1) + D(4) # optional - sage.modules
272
+ sage: D(1) + D(4)
272
273
4
273
- sage: D(1) + D(0) # optional - sage.modules
274
+ sage: D(1) + D(0)
274
275
1
275
276
"""
276
277
return self .parent ().join (self , other )
0 commit comments