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?
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) ->
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:
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
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:
