Ralf Hemmecke wrote:
> 
> Hi Waldek,
> 
> do you think we can include my work for book.dvi?
> In which form would you like to have it? A series of patches or just one
> big patch?
> 
> https://github.com/hemmecke/fricas/commits/fricas-book

I am looking at them.  Several affect not only book, so probably
should be separate.  There are some patches which which do
not require any disscussion like: 'add syscmd ioHooks' and
'ioHook for error function' (the two probably should go together).
Then, there are ones which can go in, but are worth some
discussion, like 'properly escape in TeXFormat'.  This one
is clear improvement on what we have now.  OTOH I am do not
see code to escape backslash, and braces.  More generaly,
I was looking at other problems with TexFormat and it seems
that we should have a bunch of TeX macros to supply needed
constructs.  For example, for escaping we could use macros
which provide special TeX characters, but of category
"normal character".  Some are already included in TeX, but
w could define missing ones.  In issue tracker we have
report about missing ALTSUPERSUB in TexFormat.  With proper
TeX macro adding it to TexFormat would be very easy.
Without such macro this looks like hard problem.

Coming back to the patch: if you do not want to spent just
now more work on TexFormat, then the patch can go in,
it is clearly an improvement.  But we should think about
more complete solution...

Then there are some changes where it is not clear if we want
to make them.  In particular, I see that you suppressed
output in LexTriangular example.  Why?  Is it problem
with breqn?

-- 
                              Waldek Hebisch
[email protected] 

-- 
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to