Delete old (commented out) code for linear functions and RealNumberField_absolute
Replace "continuity" by "fn.is_continuous()"