On 2018-08-12 17:39, vdelecroix wrote:
 From the answers to that thread, it seems that rule

(R0)  The parent of a / b should only depend on the parents
          of a and b.

has to be strict (7 people for and 2 vaguely against). The two
main reasons are consistency accross the different Sage rings
and the fact that coercion relies on it.

I don't think that coercion should rely on it, so I disagree with the second argument.

--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to