Hi Martin
On 03/12/2007 04:42 PM, Martin Rubey wrote:
> Ralf Hemmecke <[EMAIL PROTECTED]> writes:
>
>>> welche Version von combinat verwendest Du da? Es sollten nur vier Tests
>>> schiefgehen! (Versuch mal rev 177 von trunk oder 179 von iso-experiment)
>> Revision 180 braucht 32 Sekunden.
Yes, now AC can compute cycle index series of simple graphs up to order
6. BTW, I've just commited corrections of my previous extensions to
degree 6. And believe it or not AC is now more correct than my version
of BLL. There is an obvious typo in Z_{Graph}. They give a term
64/9 x_1^3 x_2
for in the "degree 6" polynomial. AC computes x_3 instead of x_2.
> Ja, wenn man bei n=7, i.e., 1044 Graphen mit 7 Knoten aufhört.
So that doesn't make me too happy. :-(
>> Nich so schlimm. Wir müssen eh noch nach Bugs suchen.
> Welchen bugs? Bei mir funktionieren alle Tests?
At least I am satisfied that functorial compose seems to work correctly.
More tests are welcome!!!
But we have
| | assertEquals( 1, 1 ) succeeded
| | assertEquals( 1, 1 ) succeeded
| | assertEquals( 2, 2 ) succeeded
| | assertEquals( 8, 8 ) succeeded
| |
| | failing, because an exception occurred in the test function !
| | Type:
| | RuntimeError()
| | Presentation:
| | (Aldor error) Reached a "never"
| |
| | ----------------------
| | calling tearDown function
| | tearDown function finished
| +--- end of test : testFunctorialCompose( test [31m[1mfailed[0m )
and that looks like ... oh... no, the iso-type generation is wrong.
Well, that is as expected.
Ralf
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
