pBool | AERN2.Sequence.Comparison, AERN2.Sequence.Branching |
pCR | AERN2.Real.Type, AERN2.Real |
pCRCN | AERN2.Real.Type |
pi | AERN2.Real.Arithmetic, AERN2.Real |
piA | AERN2.Real.Arithmetic, AERN2.Real |
pick | AERN2.Sequence.Branching, AERN2.Sequence |
pickNonZeroSeqA | AERN2.Sequence.Branching |
pMPBallWGPrec | AERN2.MPBallWithGlobalPrec |
prec | AERN2.Real |
Precision | AERN2.Real |
precisionTimes2 | AERN2.Real |
printQALog | AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached |
printQALogJSON | AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached |
printQANetLogThenResult | AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached |
pSeq | AERN2.Sequence.Type, AERN2.Sequence |
pWGParam | AERN2.WithGlobalParam.Type, AERN2.WithGlobalParam |