[sage-support] Re: sage disagrees with a paper about strong product of graphs

2012-12-05 Thread Nathann Cohen
Hellooo !!!

 Don't know if this is a bug, but sage numerically disagrees with
 a paper about strong product of graphs.

I would trust Sage in that case :-D

 I implemented |strong_product| and don't get the same products as sage
 (C_4 bound passed, the Kneser one didn't pass with my code).

 What is the drama?

 (Didn't audit sage's strong_product).

Well, did you try Sage's strong_product method, or did you write your own ?

Anyway, Sage can compute chromatic numbers in many different ways (see
g.chromatic_number? ). I would say that if they all answer the same
result then the problem lies in the product, otherwise it (obviously)
lies in the coloring functions :-)

Good luck !

Nathann

-- 
You received this message because you are subscribed to the Google Groups 
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.




[sage-support] Re: sage disagrees with a paper about strong product of graphs

2012-12-05 Thread Georgi Guninski
On Wed, Dec 05, 2012 at 10:45:28AM +0100, Nathann Cohen wrote:
 Hellooo !!!
 
  Don't know if this is a bug, but sage numerically disagrees with
  a paper about strong product of graphs.
 
 I would trust Sage in that case :-D
 
  I implemented |strong_product| and don't get the same products as sage
  (C_4 bound passed, the Kneser one didn't pass with my code).
 
  What is the drama?
 
  (Didn't audit sage's strong_product).
 
 Well, did you try Sage's strong_product method, or did you write your own ?
 

The sage session i gave was on vanilla sage, didn't include results from
my implementation.

sage is contradicting at least one more paper on strong products FYI.

 Anyway, Sage can compute chromatic numbers in many different ways (see
 g.chromatic_number? ). I would say that if they all answer the same
 result then the problem lies in the product, otherwise it (obviously)
 lies in the coloring functions :-)
 
 Good luck !
 
 Nathann

-- 
You received this message because you are subscribed to the Google Groups 
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.




[sage-support] Re: sage disagrees with a paper about strong product of graphs

2012-12-05 Thread Nathann Cohen
 The sage session i gave was on vanilla sage, didn't include results from
 my implementation.

Good. There's been a patch on this function very recently :

http://trac.sagemath.org/sage_trac/ticket/13699

Is your version of Sage more recent than that ?

If so, as it looks like there's still a bug, could you attempt to identify
what exactly the bug is (and possibly write the patch too) ? :-P

Have fn !!!

Nathann

-- 
You received this message because you are subscribed to the Google Groups 
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.




Re: [sage-support] Re: sage disagrees with a paper about strong product of graphs

2012-12-05 Thread Georgi Guninski
On Wed, Dec 05, 2012 at 11:27:21AM +0100, Nathann Cohen wrote:
  The sage session i gave was on vanilla sage, didn't include results from
  my implementation.
 
 Good. There's been a patch on this function very recently :
 
 http://trac.sagemath.org/sage_trac/ticket/13699
 
 Is your version of Sage more recent than that ?
 

I am using sage 5.4 binary download so i suppose I don't have this patch.

 If so, as it looks like there's still a bug, could you attempt to identify
 what exactly the bug is (and possibly write the patch too) ? :-P
 
 Have fn !!!
 
 Nathann
 
 -- 
 You received this message because you are subscribed to the Google Groups 
 sage-support group.
 To post to this group, send email to sage-support@googlegroups.com.
 To unsubscribe from this group, send email to 
 sage-support+unsubscr...@googlegroups.com.
 Visit this group at http://groups.google.com/group/sage-support?hl=en.
 
 

-- 
You received this message because you are subscribed to the Google Groups 
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.




Re: [sage-support] Re: sage disagrees with a paper about strong product of graphs

2012-12-05 Thread Nathann Cohen
Hellooo !!

I now have my own cherished computed in front of my hands :

sage: C4=graphs.CycleGraph(4);K=graphs.CompleteGraph(3)
sage: G=C4.strong_product(K)
sage: G.chromatic_number()
6
sage: F=K.strong_product(C4)
sage: F.chromatic_number()
6

God, I love those bugfixes The bugfixes which are already written :-P

Nathann

On 5 December 2012 11:58, Georgi Guninski gunin...@guninski.com wrote:

 On Wed, Dec 05, 2012 at 11:27:21AM +0100, Nathann Cohen wrote:
   The sage session i gave was on vanilla sage, didn't include results
 from
   my implementation.
 
  Good. There's been a patch on this function very recently :
 
  http://trac.sagemath.org/sage_trac/ticket/13699
 
  Is your version of Sage more recent than that ?
 

 I am using sage 5.4 binary download so i suppose I don't have this patch.

  If so, as it looks like there's still a bug, could you attempt to
 identify
  what exactly the bug is (and possibly write the patch too) ? :-P
 
  Have fn !!!
 
  Nathann
 
  --
  You received this message because you are subscribed to the Google
 Groups sage-support group.
  To post to this group, send email to sage-support@googlegroups.com.
  To unsubscribe from this group, send email to
 sage-support+unsubscr...@googlegroups.com.
  Visit this group at http://groups.google.com/group/sage-support?hl=en.
 
 


-- 
You received this message because you are subscribed to the Google Groups 
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.