diff options
Diffstat (limited to 'doc/refman')
| -rw-r--r-- | doc/refman/Polynom.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/refman/Polynom.tex b/doc/refman/Polynom.tex index 83d0167eff..48937113f6 100644 --- a/doc/refman/Polynom.tex +++ b/doc/refman/Polynom.tex @@ -389,7 +389,8 @@ Inductive PExpr : Type := | PEadd : PExpr -> PExpr -> PExpr | PEsub : PExpr -> PExpr -> PExpr | PEmul : PExpr -> PExpr -> PExpr - | PEopp : PExpr -> PExpr. + | PEopp : PExpr -> PExpr + | PEpow : PExpr -> N -> PExpr. \end{verbatim} \end{flushleft} \end{small} |