setfem.py: renamed 'ped' to 'trigint', 'trig' - to 'trigext'