@@ -214,32 +214,30 @@ def ProjectiveGeometryDesign(n, d, F, algorithm=None, point_coordinates=True, ch
214
214
The set of `d`-dimensional subspaces in a `n`-dimensional projective space
215
215
forms `2`-designs (or balanced incomplete block designs)::
216
216
217
- sage: PG = designs.ProjectiveGeometryDesign(4, 2, GF(2))
218
- sage: PG
217
+ sage: PG = designs.ProjectiveGeometryDesign(4, 2, GF(2)); PG # optional - sage.rings.finite_rings
219
218
Incidence structure with 31 points and 155 blocks
220
- sage: PG.is_t_design(return_parameters=True)
219
+ sage: PG.is_t_design(return_parameters=True) # optional - sage.rings.finite_rings
221
220
(True, (2, 31, 7, 7))
222
221
223
- sage: PG = designs.ProjectiveGeometryDesign(3, 1, GF(4))
224
- sage: PG.is_t_design(return_parameters=True)
222
+ sage: PG = designs.ProjectiveGeometryDesign(3, 1, GF(4)) # optional - sage.rings.finite_rings
223
+ sage: PG.is_t_design(return_parameters=True) # optional - sage.rings.finite_rings
225
224
(True, (2, 85, 5, 1))
226
225
227
226
Check with ``F`` being a prime power::
228
227
229
- sage: PG = designs.ProjectiveGeometryDesign(3, 2, 4)
230
- sage: PG
228
+ sage: PG = designs.ProjectiveGeometryDesign(3, 2, 4); PG # optional - sage.rings.finite_rings
231
229
Incidence structure with 85 points and 85 blocks
232
230
233
231
Use coordinates::
234
232
235
- sage: PG = designs.ProjectiveGeometryDesign(2, 1, GF(3))
236
- sage: PG.blocks()[0]
233
+ sage: PG = designs.ProjectiveGeometryDesign(2, 1, GF(3)) # optional - sage.rings.finite_rings
234
+ sage: PG.blocks()[0] # optional - sage.rings.finite_rings
237
235
[(1, 0, 0), (1, 0, 1), (1, 0, 2), (0, 0, 1)]
238
236
239
237
Use indexing by integers::
240
238
241
- sage: PG = designs.ProjectiveGeometryDesign(2, 1, GF(3), point_coordinates=0)
242
- sage: PG.blocks()[0]
239
+ sage: PG = designs.ProjectiveGeometryDesign(2, 1, GF(3), point_coordinates=0) # optional - sage.rings.finite_rings
240
+ sage: PG.blocks()[0] # optional - sage.rings.finite_rings
243
241
[0, 1, 2, 12]
244
242
245
243
Check that the constructor using gap also works::
0 commit comments