Hellen,

On Monday, March 18, 2024 at 1:45:17 PM UTC Hellen Colman wrote:

Yes, that terminology is not perfectly aligned between different areas in 
mathematics is a good takeaway we will definitely mention in the book. 
Thank you!

In this case I understand that we are checking antisymmetric in a graph, 
but the most confusing part is that the documentation is explicitly stating:

"A graph represents an *antisymmetric relation* if ... " 

It is not saying a graph is antisymmetric, but is introducing a new 
definition of antisymmetric relation.

I don't think that the issue is about *relation* or *graph* (both 
definitions are for graphs), so I like your suggested names 
"edge_antisymmetric" and "path_antisymmetric" momentarily because they 
emphasize the actual distinction, so I would suggest the following change 
in Dima's course of action:

1) copy antisymmetric() to antisymmetric_relation(); deprecate 
antisymmetric();
introduce  antisymmetric_graph(), to mean the standard definition as Hellen 
points at.

"path_antisymmetric()" instead of "antisymmetric_relation()"
"edge_antisymmetric()" instead of "antisymmetric_graph()"


how about "arc_antisymmetric" instead of "edge_antisymmetic"
(to me, directed graphs have arcs; edges are pairs of oppositely oriented 
arcs)

Dima
 



2) after the deprecation period, make antisymmetric() a copy of 
antisymmetric_graph(), 
and deprecate the latter

3) after the (2nd) deprecation period, remove antisymmetric_graph()
So in the end, in about 2 years, there will be antisymmetric() - conforming 
to the standard - and antisymmetric_relation()
- the original code for old antisymmetric()

In the end there will be path_antisymmetric() and just antisymmetric(), 
both for graphs, where the latter corresponds to graphs representing 
antisymmetric relations.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/1ae9f6a4-4404-4df2-a4cb-d8702fab9f4en%40googlegroups.com.

Reply via email to