From: Francis Wright <f.j.wright@li...>  20140701 18:54:51

Assuming you mean {x=root_of(  f(x_) + a,x_,tag_1)}, or equivalent, then I agree. Francis > Original Message > From: Rainer Schöpf [mailto:rainer.schoepf@...] > Sent: 27 June 2014 9:06 pm > To: reducealgebradevelopers@... > Subject: [Reducealgebradevelopers] Returning roots_of from solve > > The following behaviour seems inconsistent: after "operator f;" > > solve(f(x)=x,x); > > returns > > {x=root_of(  f(x_) + x_,x_,tag_2)} > > but > > solve(f(x)=a,x); > > returns > > {f(x)  a=0} > > I believe it should be > > {x=root_of(f(x_),x_,tag_1)} > > (and it's a simple change in solve/solve11.red) > > What do others think? > > Rainer > >   > Open source business process management suite built on Java and Eclipse Turn > processes into business applications with Bonita BPM Community Edition Quickly > connect people, data, and systems into organized workflows Winner of BOSSIE, > CODIE, OW2 and Gartner awards http://p.sf.net/sfu/Bonitasoft > _______________________________________________ > Reducealgebradevelopers mailing list > Reducealgebradevelopers@... > https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers 