Re: [fricas-devel] [PATCH] computation.spad Documentation Issues.
Martin Baker wrote: > > In order to complete the recent changes to computation.spad I have > updated the documentation to match the code changes. Commited. > > Issues: > > 1) Is it possible to suppress automatic insertion of spaces around colon > and commas in literate parts of the file? This was one time change. > 2) Am I wasting my time doing stuff on literate code? > > This is not a big deal for me. I will continue doing the literate > version if you think it worthwhile but, if not, its better not to waste > my (and your) time. > > Usually I first produce documentation in HTML and put it on my website. > I then copy it into code file, this copy is inferior to the HTML version > because it does not have diagrams. What do you use to create diagrams? In other words: what is the sorce code of your diagrams? > So why not just rely on the online documentation? Well, I prefer to be independent of network if possible. Network have unpredictable performance, may be not available at all. There are also securtity problems which vanish if tere is no network connection. So it good to have standalone documentation. Another aspect is conceptual and technical integrity. Online documentation fits well to distributed/decentralized model where various pieces are developed independently. This has advantages, allowing various approches and creating diverse points of view. But it also leads to replication and bloat. And it makes harder to find relevant correct documentation. So it makes sense to develop core documentation in more coordinated way, trying to use common style and common tools. Unfortunately, in the past it was hard to reach agreement what the common approach should be. There is documentation by original authors in HyperDoc format. There were proposal to use literate style, putting documentation together with source code. Original authors already have kind of "literate" provision, by using '++' comments. Information from '++' comments is than shown by HyperDoc. The later literate proposal wanted to use noweb, using special markup to distinguish between code and markup. There is Axiom Wiki which tried to be a place for collaborative developement of documentationn. There are also folks that do things in their own way: Arthur Ralfs translated Axiom book to Math ML, there are things which are Web only. I personally prefer to follow original authors: use ++ comments and HyperDoc format for documentation. Of course HyperDoc the program is dated. However HyperDoc format has several advantages: - it is a (small) subset of Latex, so it is natural for many mathematicians - it is simple restricted format, so it can be converted to other formats with relatively little effort - we already have substantial body of documentation in this format and toolchain to process it, in particular it automatically inserts results of examples into documentation IMO ability to produce different renderings (versions) of documentation is important. Coming back to your question about literate documentation: IMO literate approach was a mistake. Documentation in separate files is easier to handle and works better. OTOH literate documentation is clearly much better than no documentation at all. I will try to convert parts of your documentation to HyperDoc, we will see how it works. > It would be really good if Fricas IO could be the hub for all the > various types of online documentation for all categories, domains, etc. > If there were to be a standardised way to embed URLs in ++ comments like > this: > > ++ Author: Martin Baker > ++ Date Created: March 2011 > ++ Basic Operations: > ++ Related Constructors: > ++ Also See: > ++ AMS Classifications: > ++ Keywords: > ++ Reference: > http://www.euclideanspace.com/prog/scratchpad/mycode/computation/ > ++ Tutorial: > http://www.euclideanspace.com/prog/scratchpad/mycode/computation/lambda/ > ++ An implementation of untyped lambda-calculus > > Then Fricas IO might be able to pick up the URLs and generate links that > users would see when they were browsing this domain. Well, in TeX/LaTeX "standard" is '\url{http://}'. But Fricas IO is creation of Ralf Hemmecke so it up to him... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
Re: [fricas-devel] Algebraic Topology Issue 1
Martin Baker wrote: > > > As a face (part of simplical complex) (1,3) and > > (3, 1) are the same face. And problem is not due to wrong > > orientation of input: > > I remember now, it is the same face but we allow it to be included > multiple times in different orientations: > > (1) -> ASIMP := FiniteSimplicialComplex(VertexSetAbstract) > (1) FiniteSimplicialComplex(VertexSetAbstract) > Type: Type > (2) -> v2a:List(List(NNI)) := [[1,3],[1,3],[3,1]] > > (2) [[1,3],[1,3],[3,1]] > Type: List(List(NonNegativeInteger)) > (3) -> sc1 := simplicialComplex(vertexSeta(3::NNI),v2a)$ASIMP > > (3) > (1,3) > (1,3) > -(1,3) > Type: FiniteSimplicialComplex(VertexSetAbstract) > (4) -> addImpliedFaces(sc1) > > (4) [[-(1,3),(1,3),(1,3)]] > Type: List(List(OrientedFacet)) > (5) -> sc1::DeltaComplex(VertexSetAbstract) > > (5) >1D:[[1,- 2],[1,- 2],[- 1,2]] >Type: DeltaComplex(VertexSetAbstract) > > Under a strict geometric interpretation of a definition of > simplicialComplex I suspect that this should not be allowed? But, as we > discussed earlier, it is useful not to prevent this to allow > construction of interesting delta complexes. Well, in cases of simplicial complex this is an error: it may lead to wrong chain and maybe even to wrong homology. More precisely if we allow parallel edges (simplices) we need to be careful to specify boundary. In case of simplicial complex we take fist thing with given vertrices as part of boundary. If there are multiple simplices with the same boundary this may give unintended results. So in simplicial complex we should check for duplicates and either remove them or signal error. Delta complex is different: here duplication is explicitely handled. > > - apparently you want chains here. Chains are not the same as > > complexes. > > I take your point and I would like to pursue your earlier comments about > having a separate chain domain (though I'm not sure exactly how). Chains are free module generated by facets (with canonical orientation). So you may be able to reuse functions from FreeModule. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
[fricas-devel] [PATCH] computation.spad Documentation Issues.
In order to complete the recent changes to computation.spad I have updated the documentation to match the code changes. Documentation changes only, no change to code. patch is here: https://github.com/martinbaker/multivector/blob/master/computation5.patch code is here: https://github.com/martinbaker/multivector/blob/master/computation.spad Issues: 1) Is it possible to suppress automatic insertion of spaces around colon and commas in literate parts of the file? 2) Am I wasting my time doing stuff on literate code? This is not a big deal for me. I will continue doing the literate version if you think it worthwhile but, if not, its better not to waste my (and your) time. Usually I first produce documentation in HTML and put it on my website. I then copy it into code file, this copy is inferior to the HTML version because it does not have diagrams. So why not just rely on the online documentation? It would be really good if Fricas IO could be the hub for all the various types of online documentation for all categories, domains, etc. If there were to be a standardised way to embed URLs in ++ comments like this: ++ Author: Martin Baker ++ Date Created: March 2011 ++ Basic Operations: ++ Related Constructors: ++ Also See: ++ AMS Classifications: ++ Keywords: ++ Reference: http://www.euclideanspace.com/prog/scratchpad/mycode/computation/ ++ Tutorial: http://www.euclideanspace.com/prog/scratchpad/mycode/computation/lambda/ ++ An implementation of untyped lambda-calculus Then Fricas IO might be able to pick up the URLs and generate links that users would see when they were browsing this domain. Just an idea. Martin B -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
Re: [fricas-devel] Algebraic Topology Issue 1
On 19/09/16 20:25, Kurt Pagani wrote: However, you can get the current handbook from github if you are interested: https://github.com/gheber/kenzo/raw/master/doc/Kenzo-Doc.pdf https://github.com/gheber/kenzo I have only just skimmed through so far but Kenzo does look very interesting. It looks like they have found a way to code structures like fibrations, spectral sequences and relating chain complexes to structures like algebras, coalgebras, and much more. I think it would be good to include structures like these in FriCAS. I guess we need to get the basics right first but I also like to try to work out a long term path for where this is headed. Thank you for coding the dunceHat example. I will write a patch to include this in SimplicialComplexFactory. Martin B -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
Re: [fricas-devel] Algebraic Topology Issue 1
On 20/09/16 16:06, Waldek Hebisch wrote: > You are confused. It happens! I have tried the patch and AFAICS it works fine, I would be happy if it were applied. > As a face (part of simplical complex) (1,3) and > (3, 1) are the same face. And problem is not due to wrong > orientation of input: I remember now, it is the same face but we allow it to be included multiple times in different orientations: (1) -> ASIMP := FiniteSimplicialComplex(VertexSetAbstract) (1) FiniteSimplicialComplex(VertexSetAbstract) Type: Type (2) -> v2a:List(List(NNI)) := [[1,3],[1,3],[3,1]] (2) [[1,3],[1,3],[3,1]] Type: List(List(NonNegativeInteger)) (3) -> sc1 := simplicialComplex(vertexSeta(3::NNI),v2a)$ASIMP (3) (1,3) (1,3) -(1,3) Type: FiniteSimplicialComplex(VertexSetAbstract) (4) -> addImpliedFaces(sc1) (4) [[-(1,3),(1,3),(1,3)]] Type: List(List(OrientedFacet)) (5) -> sc1::DeltaComplex(VertexSetAbstract) (5) 1D:[[1,- 2],[1,- 2],[- 1,2]] Type: DeltaComplex(VertexSetAbstract) Under a strict geometric interpretation of a definition of simplicialComplex I suspect that this should not be allowed? But, as we discussed earlier, it is useful not to prevent this to allow construction of interesting delta complexes. > - apparently you want chains here. Chains are not the same as > complexes. I take your point and I would like to pursue your earlier comments about having a separate chain domain (though I'm not sure exactly how). Martin B -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.