On Monday, November 16, 2015 at 7:57:52 PM UTC-8, qingyang liu wrote: > > Hi > > I want to assume that the result or value of (2*x+1)/2 is integer. This is > what I do in sagemath. > > assume((2*x+1)/2,'integer'). > > Properties like "integer" only seem to be assumable on symbols, not expressions. In your case you might be able to get away with
assume(x,"odd") Don't expect too many results from assuming things, though. Assumptions mainly get used in the maxima backend, and they don't get used there very much either. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
