Maybe its a bit off topic but in the line of thought: I wonder whether the subset of the reals generated by +,-,*,/,x^y,log_x y from {1} (that means it contains at least Q) is decidable (i.e. whether we can decide equality for two given expressions in the operations and 1). For a start we could omit the log and in addition to the 4 base operation only demand that for each two real positivie numbers x and y also x^y is contained.
Does anyone know about research/results in that direction? Henryk --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---