> > n = var('n',domain='integer') > res = solve([n^2 == 3],n); print "res = ",res > > returns the weird answer : > > res = [ > n == -sqrt(3), > n == sqrt(3) > ] > > But sage: assume(n,'integer') sage: solve(n^2-3,n) []
so it seems variable domains are not interpreted as assumptions. -- 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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.