extgcd(2,3);
  ring r=0,(x,y),lp;
  extgcd((x2+x3)*(x2-x3),(x2+x5)*(x2+x3));
$