tag:blogger.com,1999:blog-5195188167565410449.post7566342380035888689..comments2016-09-19T07:11:19.884+01:00Comments on Haskell for Maths: Simple graphs with Math.Combinatorics.GraphDavidAhttp://www.blogger.com/profile/16359932006803389458noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-5195188167565410449.post-42985570803292227042009-06-12T11:08:05.327+01:002009-06-12T11:08:05.327+01:002David:
You can install MinGW that contains many u...2David:<br />You can install <a href="http://www.mingw.org/" rel="nofollow">MinGW</a> that contains many unix tools, including gzip + tarAlex Otthttps://www.blogger.com/profile/13001951608173211050noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-1181537755215695382009-06-12T09:23:43.871+01:002009-06-12T09:23:43.871+01:00DavidA: My favourites are Zomorodian [1] and Kozlo...DavidA: My favourites are Zomorodian [1] and Kozlov [2]. Also, we're currently starting up a project joint with Stanford and INRIA to build an algorithmic algebraic topology library similar to CGAL.<br /><br /><br />[1] http://www.amazon.com/Computing-Cambridge-Monographs-Computational-Mathematics/dp/0521136091/ref=sr_1_1?ie=UTF8&s=books&qid=1244794934&sr=8-1<br />[2] http://www.amazon.com/Combinatorial-Algebraic-Algorithms-Computation-Mathematics/dp/3540730516/ref=sr_1_1?ie=UTF8&s=books&qid=1244794987&sr=1-1<br /><br />It's still not very ripe as a field - but that only makes it more fun! :-)Mikael Vejdemo-Johanssonhttps://www.blogger.com/profile/00008302080954798496noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-59152570906521228502009-06-08T20:57:49.952+01:002009-06-08T20:57:49.952+01:00Alex,
The zipfile on the linked website contains,...Alex,<br /><br />The zipfile on the linked website contains, I believe, a working .cabal file. I have been able to configure, build, and install locally. However, I have had trouble getting gzip and tar working on my windows machine, and hence haven't been able to sdist for hackage.DavidAhttps://www.blogger.com/profile/16359932006803389458noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-85536693338193271562009-06-08T20:51:23.654+01:002009-06-08T20:51:23.654+01:00Mikael,
Yes you're right, the datatype is app...Mikael,<br /><br />Yes you're right, the datatype is appropriate for any set system. So elsewhere in the library, we have the equivalent datatypes:<br /><br />data Design a = D [a] [[a]] deriving (Eq,Ord,Show)<br /><br />data Hypergraph a = H [a] [[a]] deriving (Eq,Ord,Show)<br /><br />I did think about just using Hypergraph for everything, but I decided that it was clearer to have different types - for example, there are some functions that make sense for graphs, but not for designs - having different types prevents some programmer errors.<br /><br />I haven't given much thought to simplicial complexes. Can you recommend a good source for *algorithmic* algebraic topology?DavidAhttps://www.blogger.com/profile/16359932006803389458noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-67325866836484710662009-06-08T12:10:47.518+01:002009-06-08T12:10:47.518+01:00Will you provide a package for hackage? It's l...Will you provide a package for hackage? It's looks very interestingAlex Otthttps://www.blogger.com/profile/13001951608173211050noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-47732670174593354272009-06-07T23:08:24.999+01:002009-06-07T23:08:24.999+01:00There's nothing particular in your datatype ch...There's nothing particular in your datatype choice that seems to restrict you to only graphs - or in the terminology I'd use a simplicial 1-skeleton...<br /><br />You see any use in generalizing the datatype to simplicial complexes in general?Mikael Vejdemo-Johanssonhttps://www.blogger.com/profile/00008302080954798496noreply@blogger.com