sop-core-0.5.0.2: True Sums of Products

Index - P

para_SListData.SOP.Sing, Data.SOP
POP 
1 (Type/Class)Data.SOP.NP, Data.SOP
2 (Data Constructor)Data.SOP.NP, Data.SOP
ProdData.SOP.Classes, Data.SOP
ProjectionData.SOP.NP, Data.SOP
projectionsData.SOP.NP, Data.SOP
Proxy 
1 (Data Constructor)Data.SOP
2 (Type/Class)Data.SOP
pureAllData.SOP.Dict
pureAll2Data.SOP.Dict
pure_NPData.SOP.NP
pure_POPData.SOP.NP