Lines Matching refs:pcoef
10 (|:| |pcoef| P)))))
16 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P)))))
31 (|:| |pcoef| P))))))))
35 #11=(|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P)))
282 (|:| |pcoef| P))))))
294 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P))))
355 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P))))
360 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P))))))
369 (|:| |pcoef| P))))))
454 (|:| |pcoef| P))))))))
463 (|:| |pcoef| P))))))))
470 (|:| |pcoef| P))))))
475 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P)))))
552 (|:| |pcoef| P)))))))
561 (|:| |pcoef| P))))))))
567 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P)))))
763 (|Record| (|:| |expt| (|NonNegativeInteger|)) (|:| |pcoef| P)))
835 (|Record| (|:| |expt| 11) (|:| |pcoef| 10))
868 (|:| |pcoef| |#5|)))))