Index - P
| parallel | Quantum.Synthesis.StepComp |
| parallel_first | Quantum.Synthesis.StepComp |
| parallel_list_maybe | Quantum.Synthesis.StepComp |
| parallel_maybe | Quantum.Synthesis.StepComp |
| parenthesized | Quantum.Synthesis.SymReal |
| Parity | Quantum.Synthesis.Ring |
| parity | Quantum.Synthesis.Ring |
| parse_SymReal | Quantum.Synthesis.SymReal |
| Pi | Quantum.Synthesis.SymReal |
| Plus | |
| 1 (Data Constructor) | Quantum.Synthesis.SymReal |
| 2 (Type/Class) | Quantum.Synthesis.Matrix |
| plus_term | Quantum.Synthesis.SymReal |
| Point | Quantum.Synthesis.GridProblems |
| point_fromDRootTwo | Quantum.Synthesis.GridProblems |
| point_sub | Quantum.Synthesis.GridProblems |
| point_transform | Quantum.Synthesis.GridProblems |
| positive | Quantum.Synthesis.SymReal |
| Power | Quantum.Synthesis.SymReal |
| power_mod | Quantum.Synthesis.Diophantine |
| power_term | Quantum.Synthesis.SymReal |