division à gauche symbolique
ldivf('d','c')
Renvoie la chaîne de caractères 'c\d' Des simplifications triviales du type '1\c' = 'c' sont effectuées.
'c\d'
'1\c' = 'c'
ldivf('1','1') ldivf('a','0') ldivf('a','x') ldivf('2','4')