floatRules.key

Taclets

No choice condition specified

precOfFloat

precOfFloat  {
\find (                    prec   (                   f1 ,                    f2 ))
  \replacewith (                    f1 <          f2 )
\heuristics  (simplify )

};

defined in: floatRules.key Line: 12 Offset :4

precOfDouble

precOfDouble  {
\find (                    prec   (                   d1 ,                    d2 ))
  \replacewith (                    d1 <          d2 )
\heuristics  (simplify )

};

defined in: floatRules.key Line: 18 Offset :4