mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • aa4c597517 Comments showing function calls added for doing tests testing Ana Romero 2020-02-11 18:41:42 +0100
  • 8c144478b5 Homotopy computation of simplicial sets which are simply connected but not necessarily 1-reduced considered Ana Romero 2020-01-22 18:24:17 +0100
  • 6330fb3f9b Problem in computation of homotopy groups solved Ana Romero Ibáñez 2020-01-16 12:28:55 +0100
  • 8cbd522de8 Examples removed Ana Romero Ibáñez 2020-01-16 11:23:10 +0100
  • 03a89c7e1d Bug computing homotopy groups solved Ana Romero Ibáñez 2020-01-16 10:13:23 +0100
  • f77a9e1c74
         Change mrph2 by (opps mrph2) in line 240 master Julián Cuevas-Rozo 2019-12-13 13:41:07 +0100
  • a3362c6f0b Problem solved with smash products Ana Romero 2019-11-26 20:09:32 +0100
  • d382875c21 Smash product added Ana Romero 2019-11-26 19:27:25 +0100
  • 411aec1a52 Auxiliary functions for topological spaces added Ana Romero Ibáñez 2019-11-22 10:47:21 +0100
  • 6143c1c63b Differential matrix order changed Ana Romero 2019-09-27 12:17:02 +0200
  • 78d226dc17 Sign of morphisms of even columns changed for building a bicomplex Ana Romero 2019-09-25 18:36:58 +0200
  • 8616ed1968 Merge branch 'testing' of https://github.com/miguelmarco/kenzo into testing Ana Romero 2019-09-23 12:39:35 +0200
  • 4cffac8f13 Functions to translate morphisms of chain complexes from Sage to Kenzo added Ana Romero 2019-09-23 12:29:39 +0200
  • c8e2bb4c03
         Remove src/kenzo.fas file from git repo Miguel Marco 2019-09-18 17:27:30 +0200
  • 8f0d75b105 Functions for change a chain complex to a filtered chain complex modified Example of bicomplex added Ana Romero Ibáñez 2019-09-16 18:45:53 +0200
  • 676b634a8a Spectral sequence associated to a bicomplex added. Spectral sequence associated to a list of morphisms added. Ana Romero Ibáñez 2019-09-13 11:20:50 +0200
  • 658803c996 Problem solved when computing twice the same spectral sequence Ana Romero 2019-09-11 19:04:51 +0200
  • 29e5768f85 tuned kenzo.asd jodivaso 2019-09-02 12:09:41 +0200
  • 0f614d77ea added pushouts jodivaso 2019-09-02 12:01:10 +0200
  • 597d021f7b Auxiliary functions for KenzoMorphismChainComplex class are included Julián Cuevas-Rozo 2019-08-28 18:17:15 +0200
  • fdf8f49efc finite-topological-spaces files replaced by a single finite-topological-space.lisp Julián Cuevas-Rozo 2019-08-22 20:30:58 +0200
  • 0eb1ea06d3 finite topological spaces updated Julián Cuevas-Rozo 2019-08-02 19:52:52 +0200
  • 04511eb168 vf-order.lisp file added Julián Cuevas-Rozo 2019-07-30 20:12:32 +0200
  • 8c3a3cf06e finite-topological-spaces-core.lisp file added Julián Cuevas-Rozo 2019-07-30 05:04:18 +0200
  • 0c81fd96b4 Function mtrx-prdc renamed as matrice-prdc Ana Romero Ibáñez 2019-07-25 16:53:01 +0200
  • ffab87576c
         Remove binary file from git repo Miguel Marco 2019-07-25 14:59:22 +0200
  • a8f4d14f46 Function 'terme' in 'homology-groups' modified. Files 'finite-topological-spaces-aux.lisp' and 'finite-topological-spaces-class.lisp' added. Julián Cuevas-Rozo 2019-07-15 19:37:59 +0200
  • 086bbc82bc Serre spectral sequence of a product added Serre-Whitehead spectral sequence added Problems solved in file homotopy (reductions are now compatible with filtrations) Ana Romero 2019-07-11 13:52:38 +0200
  • 071d64166d file persistent-homology added Ana Romero 2019-07-04 19:01:30 +0200
  • c835836ea7 Functions added for computing spectral sequences groups and differential matrices. Ana Romero 2019-07-04 16:50:07 +0200
  • 804813be71 Merge branch 'testing' of https://github.com/miguelmarco/kenzo into testing Ana Romero 2019-06-27 17:35:22 +0200
  • f3ed77bd9c Computation of spectral sequences added. Ana Romero 2019-06-27 17:29:55 +0200
  • 560b1e297b File homotopy-test added Ana Romero 2019-06-19 12:21:46 +0200
  • ee23f1128d Problem with the order of generators in some computations solved Ana Romero 2019-06-19 11:52:38 +0200
  • b2d52ec3c3 Merge branch 'testing' of https://github.com/miguelmarco/kenzo into testing Ana Romero 2019-06-12 18:23:12 +0200
  • 700546750a Problem in computation of homotopy groups solved Ana Romero 2019-06-12 17:23:15 +0200
  • 32c9546a0b Merge branch 'testing' of https://github.com/miguelmarco/kenzo into testing carlos alquezar 2019-05-27 20:24:05 +0200
  • 9d1da86a8a updated test script carlos alquezar 2019-05-27 20:23:16 +0200
  • c76ec97055 Updated Julián Cuevas-Rozo 2019-05-23 17:03:54 +0200
  • f2e7282391 Some comments about auxiliary functions were added Julián Cuevas-Rozo 2019-05-21 00:25:06 +0200
  • 5b16336b1c sage-interface added to the list of files Julián Cuevas-Rozo 2019-05-09 13:51:21 +0200
  • 7cff3960f0 Auxiliary functions added to /src/sage-interface.lisp Julián Cuevas-Rozo 2019-05-09 13:50:37 +0200
  • 10ec7deeaa Homotopy groups of Eilenberg-MacLane spaces Ana Romero 2019-05-08 19:35:36 +0200
  • 4ffed16284 Computation of homotopy groups (null groups included) Ana Romero 2019-05-08 18:04:18 +0200
  • a80dd83a67
         Start interface with sage and homotopy Miguel Marco 2019-05-02 16:40:55 +0200
  • 5d80fe983b
         Removed examples and archived versions to slim down the tarball Miguel Marco 2019-03-28 10:32:16 +0100
  • 33ced44a89
         Merge pull request #1 from dimpase/patch-1 miguelmarco 2019-03-27 10:30:46 +0100
  • e7b69c482b
         disable compiler cache for cross-volume builds Dima Pasechnik 2019-03-27 09:11:46 +0000
  • 5a7b85dd20
         Added compile script Miguel Marco 2019-02-02 14:37:01 +0100
  • a3708245ea Restored all suspension tests. Gerd Heber 2019-01-20 12:17:13 -0600
  • b32e1c80fe Issue #128 took care of itself w/ latest SBCL (1.4.[14,15]). Gerd Heber 2019-01-20 12:06:40 -0600
  • 20372c04f4 Commented the failing tests raised in issue #128. Gerd Heber 2018-08-05 22:56:20 +0000
  • 67ccdddc20 fiveam:run! expects the name of the test suite. Gerd Heber 2018-08-05 22:53:59 +0000
  • 30a4963bcc Fixed LaTeX compilation errors. Gerd Heber 2018-02-11 18:53:54 -0600
  • 3f018492c9 Fixed sectioning. Gerd Heber 2018-02-11 18:45:30 -0600
  • 04f2cf0826 First complete Org draft. Gerd Heber 2018-02-04 21:15:27 -0600
  • ef2b97c65a Finished section on shadowing. Gerd Heber 2018-02-04 18:56:15 -0600
  • 7df5bb41ab Added section on importing external symbols. Gerd Heber 2018-01-31 00:10:33 -0600
  • b048835e4d Cosmetics. Gerd Heber 2018-01-30 02:02:18 -0600
  • 722fc6d43f Over the hump! Gerd Heber 2018-01-30 01:53:33 -0600
  • a3e2718154 We can't do Org-Slime without CL::LET. Gerd Heber 2018-01-29 20:14:16 -0600
  • 0d29b9e591 Just about where the trouble begins. Gerd Heber 2018-01-28 22:07:45 -0600
  • c6d958e6a0 Up to external symbols. Gerd Heber 2018-01-28 18:35:32 -0600
  • c0a5a2b7da Dealing w/ packages in Org. Gerd Heber 2018-01-28 15:40:57 -0600
  • fec84282fe Fixed indentation. Gerd Heber 2018-01-28 12:01:14 -0600
  • 77fed9943d Continued Org formatting. Gerd Heber 2018-01-27 21:00:40 -0600
  • 73746098a7 Started Org version. Gerd Heber 2018-01-27 19:30:59 -0600
  • 78110ace2e Ongoing Org experiment. Gerd Heber 2017-12-30 18:04:17 -0600
  • 3746758860 First experiments w/ Org version of the Handbook. Gerd Heber 2017-12-28 10:46:14 -0600
  • adcd323909 Updated Dockerfile & Jupyter notebooks. Gerd Heber 2017-10-08 20:11:31 -0500
  • 7fbca6b38d Revised version per Francis' comments. Gerd Heber 2017-07-04 17:27:55 -0500
  • fe47058667 Added a PDF in A4 Gerd Heber 2017-04-19 07:10:12 -0500
  • a1d698aa43 Infinity and Effectiveness from a Functional Point of View Gerd Heber 2017-04-19 07:03:04 -0500
  • d5b080deaf Added Francis' paper "Functional Programming is Free". Gerd Heber 2017-03-09 19:19:57 -0600
  • 64575f7c94 Added the Jupyter notebooks of two of Francis' papers. Gerd Heber 2017-02-26 02:37:33 +0000
  • ba6412bca9 Added archive folder. Gerd Heber 2017-02-20 07:38:35 -0600
  • 20d4d6cbc3 Fixed a few typos. Gerd Heber 2017-02-12 18:51:32 -0600
  • 6cc5a3fe8e Update README.md Gerd Heber 2017-01-31 07:12:46 -0600
  • 7b5b450b1f Updated Docker config. Gerd Heber 2016-11-24 03:08:00 -0500
  • 333df40667 Added Francis' changes. Gerd Heber 2016-09-15 10:49:07 -0500
  • 74ffaf0957 Added Francis' changes. Gerd Heber 2016-09-15 10:29:21 -0500
  • 9b426c3d2b Added Francis' changes. gheber 2016-07-17 11:56:03 -0500
  • 04c39f383a Added Francis' changes. gheber 2016-07-04 18:17:38 -0500
  • eab10b038c SBCL 1.3.7 Gerd Heber 2016-07-04 18:36:07 -0400
  • 557080c05f Added Francis' changes. gheber 2016-05-15 18:02:40 -0500
  • 4d9aca3412 Added Francis' changes. gheber 2016-05-05 09:15:50 -0500
  • 61b6e42a2c Added missing exports. Gerd Heber 2016-05-05 09:55:38 -0400
  • c9161e5848 SBCL 1.3.5 and cl-jupyter updates. Gerd Heber 2016-05-05 09:33:12 -0400
  • 52fae8fb17 Fixed a few more SBCL warnings. gheber 2016-04-23 19:13:46 -0500
  • 756f333bdd Added missing exports. gheber 2016-04-23 18:44:24 -0500
  • 30ff3bc32a Fixed issue #123 in Chapter 11. gheber 2016-04-23 17:16:42 -0500
  • c30df8f2f6 Added Francis' changes. gheber 2016-04-19 20:14:41 -0500
  • 3e17919559 Added Francis' changes. gheber 2016-04-12 18:54:05 -0500
  • c57247e8a1 Updated ABSM slot descriptions. Gerd Heber 2016-04-11 19:20:17 -0400
  • 5590820e70 Let's give sbcl32 another try! Gerd Heber 2016-04-10 18:02:54 -0400
  • bd3b3e8a51 Added Francis' changes. gheber 2016-04-10 16:57:08 -0500
  • 0282f18719 Added Francis' changes. gheber 2016-04-10 16:31:34 -0500
  • 237e78468f Added missing export for ABSM-PRINT. Gerd Heber 2016-04-06 02:22:04 -0400
  • 2070a01813 Added missing export for MAKE-ABSM. Gerd Heber 2016-04-06 01:51:00 -0400
  • 1b2791dc7c Added Francis' changes. gheber 2016-04-05 19:01:50 -0500