Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-18 Thread Nils Bruin
On Monday 18 March 2024 at 06:45:17 UTC-7 Hellen Colman wrote: "A graph represents an *antisymmetric relation* if ... " It is not saying a graph is antisymmetric, but is introducing a new definition of antisymmetric relation. Ah, indeed! The person must have been interested in transitive

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-18 Thread Hellen Colman
Yes, sounds good. On Monday, March 18, 2024 at 9:07:52 AM UTC-5 Dima Pasechnik wrote: > 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

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-18 Thread Dima Pasechnik
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

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-18 Thread Hellen Colman
Nils, 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

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-16 Thread Dima Pasechnik
This is now https://github.com/sagemath/sage/issues/37618 On Sat, Mar 16, 2024 at 12:42 PM Dima Pasechnik wrote: > Dear Hellen, dear Nils, > > On Fri, Mar 15, 2024 at 11:51 PM Nils Bruin wrote: > >> On Friday 15 March 2024 at 15:08:34 UTC-7 Hellen Colman wrote: >> >> Let me just clarify the

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-16 Thread Dima Pasechnik
Dear Hellen, dear Nils, On Fri, Mar 15, 2024 at 11:51 PM Nils Bruin wrote: > On Friday 15 March 2024 at 15:08:34 UTC-7 Hellen Colman wrote: > > Let me just clarify the main point of his question just in case we can > still obtain a helpful answer. Essentially the question is: Why is Sage >

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-15 Thread Nils Bruin
On Friday 15 March 2024 at 15:08:34 UTC-7 Hellen Colman wrote: Let me just clarify the main point of his question just in case we can still obtain a helpful answer. Essentially the question is: Why is Sage calling "antisymmetric" to a property that is not the standard antisymmetric property?

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-15 Thread Hellen Colman
Dima, Thank you for taking the time to answer the question posted by my student Samuel. Let me just clarify the main point of his question just in case we can still obtain a helpful answer. Essentially the question is: Why is Sage calling "antisymmetric" to a property that is not the

Re: [sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-11 Thread Dima Pasechnik
On Mon, Mar 11, 2024 at 9:24 PM Samuel Lubliner wrote: > I've been exploring the concept of antisymmetry in DiGraphs within > SageMath and noticed a discrepancy between the standard mathematical > definition of an antisymmetric relation and SageMath's implementation for > DiGraphs. I'm looking

[sage-support] Antisymmetry Definition in SageMath for DiGraphs

2024-03-11 Thread Samuel Lubliner
I've been exploring the concept of antisymmetry in DiGraphs within SageMath and noticed a discrepancy between the standard mathematical definition of an antisymmetric relation and SageMath's implementation for DiGraphs. I'm looking for some clarification or insight into this observation. The