| /dports/math/coxeter3/coxeter-7b5a1f0/ |
| H A D | posets.h | 21 class Poset; variable
39 class Poset {
44 {return arena().free(ptr,sizeof(Poset));} in delete()
45 Poset();
46 Poset(const Ulong &n);
47 Poset(const OrientedGraph& G);
48 ~Poset();
64 inline Ulong Poset::size() const {return d_closure.size();} in size()
|
| H A D | posets.cpp | 60 Poset::Poset() in Poset() function in posets::Poset
64 Poset::Poset(const Ulong& n):d_closure(n) in Poset() function in posets::Poset
78 Poset::Poset(const OrientedGraph& G):d_closure(G.size()) in Poset() function in posets::Poset
112 Poset::~Poset() in ~Poset()
124 void Poset::findMaximals(const BitMap& D, Set& a) const in findMaximals()
145 bool Poset::isTriangular() const in isTriangular()
162 void Poset::hasseDiagram(OrientedGraph& H) in hasseDiagram()
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/ |
| H A D | POSET.lsp | 2 (DEFPARAMETER |Poset;CAT| 'NIL)
4 (DECLAIM (NOTINLINE |Poset;|))
6 (DEFPARAMETER |Poset;AL| 'NIL)
8 (DEFUN |Poset| (|t#1|)
10 (COND ((SETQ #1# (|assoc| #2# |Poset;AL|)) (CDR #1#))
12 (SETQ |Poset;AL|
13 (|cons5| (CONS #2# (SETQ #1# (|Poset;| #2#))) |Poset;AL|))
16 (DEFUN |Poset;| (|t#1|)
21 (COND (|Poset;CAT|)
23 (LETT |Poset;CAT|
[all …]
|
| H A D | DCPO.lsp | 24 (|Join| (|Poset| '|t#1|)
|
| H A D | CODCPO.lsp | 24 (|Join| (|Poset| '|t#1|)
|
| H A D | FCDCPO.lsp | 72 '#((|CoDcpo| 6) (|Poset| 6) (|Preorder| 6) (|FiniteGraph| 6)
|
| H A D | FDCPO.lsp | 71 '#((|Dcpo| 6) (|Poset| 6) (|Preorder| 6) (|FiniteGraph| 6)
|
| H A D | FBICPO.lsp | 89 '#((|BiCPO| 6) (|Dcpo| 6) (|CoDcpo| 6) (|Poset| 6)
|
| H A D | FPOSET.lsp | 148 '#((|Poset| 6) (|Preorder| 6) (|FiniteGraph| 6)
|
| /dports/math/polymake/polymake-4.5/apps/graph/include/ |
| H A D | poset_tools.h | 69 template <typename Poset, typename Iterator>
70 PEdgeStatus compatibility_status(const Poset& Q, const Iterator& it, const Array<Int>& mapping) { in compatibility_status()
84 template< typename Poset, typename Iterator>
85 const EdgeList& relevant_q_edges(const Poset& Q, in relevant_q_edges()
166 template<typename Poset>
168 classify_isolated_vertices(const Poset& P, in classify_isolated_vertices()
251 template<typename Poset>
252 bool f_less_or_equal_g(const Array<Int>& f, const Array<Int>& g, const Poset& Q) in f_less_or_equal_g()
324 template<typename Poset>
325 Poset covering_relations_impl(const Poset& P) in covering_relations_impl()
[all …]
|
| /dports/math/py-grandalf/grandalf-0.7/grandalf/utils/ |
| H A D | poset.py | 15 class Poset(object): class
77 return Poset(self.o.values())
85 return Poset(L)
91 p = Poset([])
102 return Poset(s1.intersection(s2))
113 return Poset(s1.symmetric_difference(s2))
124 return Poset(s1.difference(s2))
|
| /dports/math/py-grandalf/grandalf-0.7/grandalf/ |
| H A D | graphs.py | 17 from .utils import Poset
291 self.sV = Poset(V)
292 self.sE = Poset([])
314 x.c = Poset([x])
316 y.c = Poset([y])
584 p = Poset([v])
701 v.c = Poset([v])
|
| /dports/math/gap/gap-4.11.0/pkg/qpa-version-1.30/lib/ |
| H A D | qpaposet.gd | 4 DeclareOperation( "Poset", [ IsList, IsList ] );
|
| H A D | qpaposet.gi | 3 #O DeclearOperations( "Poset", [ _P, _rel] )
13 InstallMethod( Poset,
|
| /dports/math/palp/palp-2.20/ |
| H A D | Nef.h | 40 } Poset; typedef
|
| /dports/math/graphthing/graphthing-1.3.2/ |
| H A D | TODO | 48 * Poset stuff:
|
| /dports/math/gap/gap-4.11.0/pkg/xgap-4.30/doc/ |
| H A D | manual.toc | 29 \seccontents {5.8}{GraphicSubgroupLattice, Poset Menu} {27}
|
| H A D | manual.six | 35 S 5.8. GraphicSubgroupLattice, Poset Menu
|
| H A D | sglatsys.tex | 27 "GraphicSubgroupLattice, Poset Menu") or the operation `Resize' for graphic
180 them and choose `Rearrange Classes' in the `Poset' menu
284 \Section{GraphicSubgroupLattice, Poset Menu}
286 The `Poset' menu will be pulled down if you place the pointer inside the
287 `Poset' button and press the left mouse button. Keep the button down
|
| H A D | sgrplats.tex | 85 "GraphicSubgroupLattice, Poset Menu" how to resize the graphic sheet. It
155 of menu names: `Sheet', `Poset', and `Subgroups'. In order to
167 Now select `Change Labels' from the `Poset' menu. If this entry
243 In order to learn more about the menus `Sheet' and `Poset', which were only
245 "GraphicSubgroupLattice, Poset Menu".
|
| H A D | manual.lab | 39 \makelabel{xgap:GraphicSubgroupLattice, Poset Menu}{5.8}
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/target/algebra/USERS.DAASE/ |
| H A D | index.KAF | 348 |PolynomialSquareFree| |Poset&| |PosetFactory|
567 |MultifunctionGraph| |Poset&| |Scene| |UndirectedGraph|
1414 (|FiniteBiCPO| |FiniteCoDcpo| |FiniteDcpo| |FinitePoset| |Poset&|)
1789 |PolynomialSolveByFormulas| |Poset&| |PositiveInteger|
2301 |PolynomialSquareFree| |Poset&| |PosetFactory|
2413 (|FiniteMoebiusFunction| |GeneralizedFiniteMoebiusFunction| |Poset&|)
2898 |PolynomialSquareFree| |Poset&| |PositiveInteger|
3996 |PolynomialRing| |Poset&|
4584 |PolynomialRing| |Poset&|
5000 |Poset&|
[all …]
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/target/algebra/DEPENDENTS.DAASE/ |
| H A D | index.KAF | 1232 (|FinitePoset| |Poset&|)
1534 |PolynomialIdeal| |Poset| |Poset&| |PosetFactory|
1959 ("PositiveInteger" 0 77628) ("Poset" 0 77603)
|
| /dports/math/py-grandalf/grandalf-0.7/ |
| H A D | README.rst | 319 - Poset
331 Poset.
336 Basically, a Poset is pair (set,list) that is kept synchronized.
|
| /dports/math/fricas/fricas-1.3.7/src/algebra/ |
| H A D | logic.spad | 28 \label{Poset and Lattice Structures}
37 \section{Poset Code}
100 \label{Poset and Lattice Structures}
102 Poset Categories & Lattice Categories\\
103 Poset & \\
588 \section{Poset Code}
613 )abbrev category POSET Poset
1484 Exports ==> Poset(S)
1562 Definition ==> Poset(S) with
1625 Definition ==> Poset(S) with
[all …]
|