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 also have code that could potentially be merged with FriCAS, specifically:
https://github.com/martinbaker/multivector/blob/master/logic.spad
https://github.com/martinbaker/multivector/blob/master/graph.spad
https://github.com/martinbaker/multivector/blob/master/groupPresentation.spad
https://github.com/martinbaker/multivector/blob/master/algebraictopology.spad
This also interacts with your patches, for instance your patch to
src/algebra/array2.spad
for zero dimensional matrices, this helps my code so there is at least a
3 way interaction between my, your and Fricas code. I don’t know if
there are any other potential interactions? It would be good if there
were a system for managing that.
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
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).
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.
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).
--
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.
