2424# ! TODO We give theoretical bounds for our implementations in the documentation,
2525# ! and provide some test evidence.
2626# !
27- # ! we refer to these as ordered set <I >data-structure</I > because the differ from the &GAP;
27+ # ! we refer to these as ordered set <E >data-structure</E > because the differ from the &GAP;
2828# ! notion of a set in a number of ways: 1) They all lie in a common family 'OrderedSetDSFamily'
2929# ! and pay no attention to the families of the Objects stored in them
3030# ! TODO this may be replaced by a more general DatastructuresFamily
3737# !
3838# ! TODO supply nice wrapper functions for the constructor
3939
40+ # ! @ExampleSession
4041# ! gap> s := OrderedSetDS(IsSkipListRep, {x,y} -> String(x) < String(y));
4142# ! <skiplist 0 entries>
4243# ! gap> Addset(s, 1);
5455# ! false
5556# ! gap> 97 in b;
5657# ! true
57- # !
58+ # ! @EndExampleSession
5859
5960
6061# ! @Section API
6970DeclareCategory(" IsOrderedSetDS" , IsObject);
7071
7172# ! @Description
72- # ! Subcategory of Ordererd "sets" where the ordering is the default <
73+ # ! Subcategory of Ordererd "sets" where the ordering is the default ≤
7374
7475DeclareCategory(" IsStandardOrderedSetDS" , IsOrderedSetDS);
7576
@@ -85,7 +86,7 @@ BindGlobal( "OrderedSetDSFamily", NewFamily("OrderedSetDSFamily") );
8586# ! to achieve good complexity with high probability and simple data structures
8687# !
8788# ! Apart from the filter most combinations of these have defaults. The default lessThan is the &GAP;
88- # ! \< function. The default initial entries is none and the default random source is the global Mersenne twister
89+ # ! < function. The default initial entries is none and the default random source is the global Mersenne twister
8990# !
9091
9192
@@ -175,4 +176,3 @@ DeclareOperation("PositionSortedOp", [IsOrderedSetDS, IsObject, IsFunction]);
175176# ! usage is similar. More details to come
176177# ! @EndSection
177178
178- # ! @EndChapter
0 commit comments