Am 16.07.2016 um 16:44 schrieb Martin Baker: > On 16/07/16 10:32, oldk1331 wrote: >> As I said before, I am neutral to svn=>git transit for now. >> >> Currently, I need an easy-to-use bug tracker, at least to track my > unmerged >> patches. >> >> So, to make an example, I'm using > https://github.com/oldk1331/fricas/pulls >> to track my unmerged patches. Again, this is only for tracking, the > discussions >> will still happen here.
I'm also voting for GitHub ;) Sooner or later SF will retire, I guess :] > > Assuming that Waldek does not wish to include my code in FriCAS then I > need to find a way to keep merging the latest version of my code with I can understand Waldek's restraint adding new code before the exisiting is in good shape. Moreover there should be an agreed standard how to document new code (w.r.t to omissions in the past). > FriCAS and your code. Its like I have a fork of FriCAS just for my own > private use (with all the overheads of tracking and merging changes). Or > I have to compile all these files at the start of every session (which > is what I currently do). I'm using QuickLisp. You can pull your code into ~/quicklisp/local-projects/ to keep track. In principle this could be extended to a package manager for fricas. All you need is to include an appropriate lisp function to .fricas.input. (e.g. like in https://github.com/nilqed/fricas-snark) > > The following is some text notes about the dependencies in my code, I > include it to show the sort of thing I want to track, it would be good > if there was a system to automatically track these dependencies. > > I don't have any ideological agenda about the svn vs. git discussion > unless it would help with these issues raised here. My problem is > remembering command line instructions that I only use rarely. I > regularly use: > git add > git commit -m > git push origin master > so they are not a problem but anything else I use so infrequently that I > have to re-learn it every time I use it. > > The best option for me would be if Waldek were to include my code with > FriCAS (and then do a new binary release) but that's not my decision, if > not it would be good if at least the bug fixes below were included. I've tested parts of your code and found some issues (I'll send it when back from vacation). We also should have a standard for a test suite that can be run after changes. > > Martin B > > The following is just to show the sort of issues I need to track: > > logic.spad > ---------- > This is new code. Includes various logic related structures including > partial order, lattice structures > > I have also moved intuitionistic logic here from computation.spad > > I was kindly sent some unpublished code (related to Moebius function) by > Franz Lehner with permission to merge this with my own poset related > code. This is now all included in this file. > > These are my notes related to the code written by Franz: > http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/moebius/ > > > I have included Logic category, this is the same as existing Logic > category in Boolean.spad as it is intended to replace it. Since this > category is more general than just Boolean I thought it more appropriate > to put it in logic.spad. > > For further information see the documentation here: > http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/ > http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/moebius/ > > > graph.spad > ---------- > There are some updates to existing code, this includes: > > 1) Fix bug in spanningTree since old version sometimes put a given node > at multiple leaves in the tree. > 2) Add coercions and constructors from FinitePoset. > 3) Improve documentation. > 4) Improve output code. > > For further information see the documentation here: > http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/graph/ > > groupPresentation.spad > ---------------------- > This is new code. > > Various groups represented by its generators and relations such as: > * homotopy group such as fundamental group. > * homology group in terms of integers. > > For further information see the documentation here: > http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/finiteGroup/presentation/ > > > algebraictopology.spad > ---------------------- > This is new code. > > This includes simplicial complexes and cubical complexes. > > For further information see the documentation here: > http://www.euclideanspace.com/prog/scratchpad/mycode/topology/simplex/ > http://www.euclideanspace.com/prog/scratchpad/mycode/topology/cubical/ > > computation.spad > ---------------- > There are some updates to existing code, this includes: > > 5) Remove intuitionistic as I have now put it in logic.spad > 6) Improve documentation. > 7) Improve output code. > > For further information see the documentation here: > http://www.euclideanspace.com/prog/scratchpad/mycode/computation/ > > TODO > ---- > Some improvements I would like to make at some time in the future are: > 1) I would like to fully implement the geometric version of simplicial > complex. One reason is that I would like to make it the standard way to > represent 2D, 3D and n-dimensional shapes in code such as scene.spad. So > the shapes can be transformed and output in various ways however they > would have better mathematical properties than the structures usually > used to represent shapes in computer science. This would involve writing > code to test for overlapping simplexes and so on. > 2) The code that Franz Lehner sent to me also included isomorphism > testing and drawing (using algorithms from Freese's book on "Free > Lattices"). I would like to merge this with my code. (it may not all be > generalisable to graphs/complexes but parts of it may be and the > remainder can still be used for posets). > I appreciate your contributions, no doubt, however, IMO there should be a consensus among the (future) users - and on what is really useful, especially if new categories or domains shall be added (whereas packages are slightly less problematic). We also must be sure that there is sufficient demand, otherwise we're dragging a lot of ballast. It's hard to say of course, but a survey might be desirable (leading into a wish-list for instance). Kurt -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
