Re: [fricas-devel] changes to allow macOS packaging work again

[oldk1331]

On 5/4/21 3:26 AM, Waldek Hebisch wrote:
> On Thu, Mar 18, 2021 at 07:49:49PM +0800, Qian Yun wrote:
>> + if test $(uname -s) != "Darwin" ; then \
>^^
> $$(uname -s)
>> +  echo
>> FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' >>
>> '${COMMAND}'.tmp ; \
>> + else \
>> +  echo FRICAS='"`dirname
>> $$0`/../$(fricas_lib)/fricas/target/$(target)"' >> '${COMMAND}'.tmp ; \
>> + fi \
>>  else \
>> echo FRICAS='"$(libdir)/fricas/target/$(target)"' \
>> >> '${COMMAND}'.tmp ; \
> 
> Hi Qian, I wonder why you wanted the 'dirname $$0' part?  It breaks
> internal 'fricas' script for its intended uses, in particular
> it causes problem reported by Gregory Vanuxem, that is failure
> of 'efricas'.  AFAICS you intended 'dirname $$0' part to be
> used only on Mac OS, but you need to double '$' for this.
> Doubling '$' fixes problem on other systems, but there remain
> question what 'dirname $$0' solves?  I think that even on
> Mac OS it does not work for internal 'fricas' script.
> 


Yes, you are right about the double '$' error.

About 'dirname $$0', that was intended to be used by DMG packaging.
Indeed it breaks traditional "make install" installation.  Let me find a
better solution.

- Qian

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/e7cbfbb5-2f0b-f99a-2a32-69876b2ccb55%40gmail.com.

Re: [fricas-devel] latex symbols in fmtmathjax

[Waldek Hebisch]

On Mon, May 03, 2021 at 10:32:31PM +0200, Ralf Hemmecke wrote:
> > I can see that the current proposal might be undesirable if the same
> > worksheet is to be presented in another format, e.g. a worksheet
> > prepared in jfricas but later you want to use it in TeXmacs.
> 
> OK, I as a user prepare some cool stuff in jfricas and then I have some
> work to make it look nice in Texmacs. Why is that a problem that FriCAS
> should deal with?
> 
> If you aim at using a worksheet in both jfricas and texmacs, then use
> unicode. If, however, you solely use the jfricas interface and want the
> computed result for easy inclusion in a slide or other LaTeX document,
> then use my proposal.

If nobody uses your code, then problem is greatly limited, but
not gone.  But to use your code people have to embed LaTeX
construct into things that should be pure math.  You create
completely unnecessary fragmentation: to get what that want
in your proposal users have to create LaTeX-specific code,
which will fail with other formatters, or ignore your
feature.  I could understand it if it was impossible to do
better.  But there are _clearly_ better alternatives.
First, formatter may replace Unicode characters by appropriate
control sequences.  AFAIK Unicode characters works fine in MathML
and there is support in Texmacs (I am unable to test it, but
is right way to go).  Currently Unicode characters works also
on most terminals, so in text modes.  So natural thing is to
make sure that they work with LaTeX.  You say that there
are troubles on LaTeX side.  In such case it is reasonable
to do substitution in the formatter: for supported characters
replace Unicode by appropriate LaTeX control sequences.

You write about "cool stuff", however need to mess with
LaTeX control sequences is very un-cool and rather
make impression of immature system that can not do
things properly.

There is also question of documentation: without documentation
such feature is much less useful.  If it is documented, then
there will be confusion if we remove it (obsolete info tends
to have long life on the web).

Another things is that code that we offer should be a good
example.  Unfortunatly, beginers frequently fall into trap
of "getting something to work" and follow bad examples.
In your proposal users are encouraged to follow bad
coding pattern and this patten is visible (as opposed
to something encapsulated in it own ghetto).

More generaly, FriCAS strength is its principled design.
In short term, by breaking principles one can frequently
make gains, this is called technical debt.  But like
real debt, we either have to pay it back (clean up
things) or face insolvence.  Technical debt means that
there will be increased cost of further developement
and IMO in most cases is wrong choice.

-- 
  Waldek Hebisch

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/20210503220026.GB26834%40math.uni.wroc.pl.

Re: [fricas-devel] latex symbols in fmtmathjax

[Ralf Hemmecke]

> I can see that the current proposal might be undesirable if the same
> worksheet is to be presented in another format, e.g. a worksheet
> prepared in jfricas but later you want to use it in TeXmacs.

OK, I as a user prepare some cool stuff in jfricas and then I have some
work to make it look nice in Texmacs. Why is that a problem that FriCAS
should deal with?

If you aim at using a worksheet in both jfricas and texmacs, then use
unicode. If, however, you solely use the jfricas interface and want the
computed result for easy inclusion in a slide or other LaTeX document,
then use my proposal.

Up to now nobody has given one single good reason that would speak
against inclusion in FriCAS.
Anyway, if my proposal is not included then I would like to postpone the
release until a proper substitute is ready. Otherwise you needlessly
prevent people from doing cool stuff with FriCAS.

Ralf

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/83a2e3ad-2f4f-6546-564c-1c3482ed4498%40hemmecke.org.

Re: [fricas-devel] latex symbols in fmtmathjax

[Ralf Hemmecke]

> Of course more sophisticated things are possible. For example it might
> be nice to have some way to pass (sub/super/...)-scripts to the
> frontend formatter for substitution into a LaTeX snippet, i.e. like
> arguments to a macro.


Do you mean something like FormatLaTeX implements?

setFormats!([FormatLaTeX, FormatMathJax])$JFriCASSupport

(4) -> a[3]^b

  b
   (4)  a
 3
--FORMAT:BEG:FormatLaTeX
\begin{fricasmath}{4}
\SUPER{\PAREN{\SUB{\SYMBOL{a}}{3}}}{\SYMBOL{b}}
\end{fricasmath}
--FORMAT:END:FormatLaTeX
--FORMAT:BEG:FormatMathJax
\[
{\left({a}_{3}\right)}^{b}
\]
--FORMAT:END:FormatMathJax

Define \SUB and \SUPER in any way you like. The stuff in fricasmath.sty
is just a default setting.

Ralf

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/d5047684-4192-3271-3e44-641a6c410dc5%40hemmecke.org.

Re: [fricas-devel] changes to allow macOS packaging work again

[Waldek Hebisch]

On Thu, Mar 18, 2021 at 07:49:49PM +0800, Qian Yun wrote:
> This is the change I made to get the macOS dmg working.
> Not very elegant, but I wonder if there is a better way?
> 
> Comments are welcome.  And macOS users can try/test the binary
> at https://github.com/oldk1331/fricas/actions/runs/664218153
> 
> - Qian
> 
> https://github.com/fricas/fricas/commit/ed1f43ad1a7be891a6bbb050b055e2ff7f9f3ab8.patch
> 
> diff --git a/Makefile.in b/Makefile.in
> index f50f0bde3..17af45595 100644
> --- a/Makefile.in
> +++ b/Makefile.in
> @@ -133,9 +133,11 @@
>   echo exec_prefix='"$${FRICAS_PREFIX:-$(exec_prefix)}"' \
> >> '${COMMAND}'.tmp
>   if test "$(fricas_lib)" != "$(libdir)" ;  then \
> -echo \
> -   FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' \
> ->> '${COMMAND}'.tmp ; \
> + if test $(uname -s) != "Darwin" ; then \
   ^^
$$(uname -s)
> +   echo
> FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' >>
> '${COMMAND}'.tmp ; \
> + else \
> +   echo FRICAS='"`dirname
> $$0`/../$(fricas_lib)/fricas/target/$(target)"' >> '${COMMAND}'.tmp ; \
> + fi \
>   else \
>  echo FRICAS='"$(libdir)/fricas/target/$(target)"' \
> >> '${COMMAND}'.tmp ; \

Hi Qian, I wonder why you wanted the 'dirname $$0' part?  It breaks
internal 'fricas' script for its intended uses, in particular
it causes problem reported by Gregory Vanuxem, that is failure
of 'efricas'.  AFAICS you intended 'dirname $$0' part to be
used only on Mac OS, but you need to double '$' for this.
Doubling '$' fixes problem on other systems, but there remain
question what 'dirname $$0' solves?  I think that even on
Mac OS it does not work for internal 'fricas' script.

-- 
  Waldek Hebisch

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/20210503192631.GA19657%40math.uni.wroc.pl.

Re: [fricas-devel] trying to compile aldor

[Ralf Hemmecke]

First of all, this is fricas-devel. You should have directed you
question to . So I repost there.

Aldor should compile fine with -j N. There must be some other problem in
the middle. Try to compile with -j1, then you will better see what the
actual error message is.


My fig2eps script starts like this

==
#!/usr/bin/perl -w

=pod
fig2ps : convert xfig files to ps/eps/pdf processing text with LaTeX
Copyright (C) 2004-2006, 2008, 2009, 2010  Vincent Fourmond
==

Ralf

On 03.05.21 18:39, Tobias Neumann wrote:
> I don't see any concrete errors in the log below. But it seems to me
> that you are running make with multiple parallel jobs (-jX), and some of
> them failed. I've noticed that the build can run into trouble with -j. I
> would recommend to try again with just one job, i.e. just "make" or
> "make -j1". It must be that some dependencies are not properly taken
> care of.
> 
> Best wishes,
> Tobias
> 
> Quoting Andrey G. Grozin (2021-05-03 12:13:17)
>> Hello *,
>>
>> I'm trying to compile the current aldor from github.com/aldorlang/aldor
>> on Gentoo linux and I get
>>
>> Making all in al
>> make[4]: Entering directory 
>> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'
>> set -e; \
>> true > lang.dep_tmp;\
>> for i in ; do   \
>> d=$(basename $i .dep);   \
>> cat $i >> lang.dep_tmp;  \
>> echo $d >> lang.dep_tmp; \
>> done;   \
>> if test ! -f lang.dep; then \
>> mv lang.dep_tmp lang.dep;\
>> elif diff lang.dep lang.dep_tmp > /dev/null; then   \
>> rm lang.dep_tmp; \
>> else\
>> mv lang.dep_tmp lang.dep;\
>> fi
>> set -e; \
>> ar cr _sublib_depend_foamlib.al;\
>> for l in ; do   \
>> if [ ! -f $l ]; then \
>>echo "missing $l";\
>>exit 1;   \
>> fi;  \
>> ar x $l; \
>> ar r _sublib_depend_foamlib.al $(ar t $l);   \
>> rm $(ar t $l);   \
>>  done
>> set -e; \
>> true > machine.dep_tmp; \
>> for i in lang.dep; do   \
>> d=$(basename $i .dep);   \
>> cat $i >> machine.dep_tmp;   \
>> echo $d >> machine.dep_tmp;  \
>> done;   \
>> if test ! -f machine.dep; then  \
>> mv machine.dep_tmp machine.dep;  \
>> elif diff machine.dep machine.dep_tmp > /dev/null; then \
>> rm machine.dep_tmp;  \
>> else\
>> mv machine.dep_tmp machine.dep;  \
>> fi
>> set -e; \
>> rm -f lang.c lang.ao;   \
>> cp _sublib_depend_foamlib.al libfoamlib_lang.al; 
>> \
>> ar r libfoamlib_lang.al ;   \
>>../../../../aldor/src/aldor -Nfile=../../../../aldor/src/aldor.conf 
>> -Mno-ALDOR_W_WillObsolete -Wcheck -Waudit -Z db -Q8  -Y. 
>> -I../../../../aldor/lib/libfoamlib/al -lAxlLib=foamlib_lang -DBuildAxlLib 
>> -Fasy=lang.asy -Fao=lang.ao -Fabn=lang.abn lang.as ; 
>> \
>> rm libfoamlib_lang.al
>> set -e; \
>> true > basic.dep_tmp;   \
>> for i in lang.dep machine.dep; do   \
>> d=$(basename $i .dep);   \
>> cat $i >> basic.dep_tmp; \
>> echo $d >> basic.dep_tmp;\
>> done;   \
>> if test ! -f basic.dep; then\
>> mv basic.dep_tmp basic.dep;  \
>> elif diff basic.dep basic.dep_tmp > /dev/null; then \
>> rm basic.dep_tmp;\
>> else\
>> mv basic.dep_tmp basic.dep;  \
>> fi
>> make[4]: *** [../../../../lib/buildlib.mk:84: lang.ao] Error 139
>> make[4]: *** Waiting for unfinished jobs
>> make[4]: Leaving directory 
>> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'
>> make[3]: *** [Makefile:549: all-recursive] Error 1
>> make[3]: Leaving directory 
>> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib'
>> make[2]: *** [Makefile:375: all-recursive] Error 1
>> make[2]: Leaving directory 
>> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib'
>> make[1]: *** [Makefile:379: all-recursive] Error 1
>> make[1]: Leaving directory 
>> 

Re: [fricas-devel] latex symbols in fmtmathjax

[Bill Page]

On Mon, May 3, 2021 at 1:19 PM Kurt Pagani  wrote:
>
> On 03.05.2021 18:09, Bill Page wrote:
> > If it is necessary to consider alternatives, then I think one other approach
> > would be to export a function that sets a "presentation" property on a 
> > Symbol
> > and then make use of that property (if it exists) and if the flag is set in
> > FormatMathJax. The benefit then might be that a formatter would have a 
> > choice as
> > to whether to use the presentation property string or not.
>
> Do you think of something like setProperty/display in BOP?
> https://fricas.github.io/api/BasicOperator.html

Yes, but probably a new property just to specify an alternate
presentation for a particular symbol. Perhaps there could be several
such alternatives of interest to different formatters. But if no
relevant property exists or if for some reason it might be undesirable
in a certain context then the fall back would be to just treat it the
way it is done now.

Of course more sophisticated things are possible. For example it might
be nice to have some way to pass (sub/super/...)-scripts to the
frontend formatter for substitution into a LaTeX snippet, i.e. like
arguments to a macro.

> Or have I completely misread your suggestion?
>
> I've been using the those methods for some time, e.g.
> f:=operator 'f
> display(f,o+->F)
> f [x,y,z] -> F
> properties f -> table(%display = NONE)
>
> in order to suppress the arguments (enhancing readibility of large formulas),
> however, it's not exatly brilliant :( - you'll notice that as soon as you need
> derivatives.
>

This sounds like another very good idea that should be polished up a
little and included in FriCAS.

> @Waldek
> > it is not something
> > localized but in principle has very wide scope.
>
> Admitted, however, what's wrong with this? It concerns MathJax only, and a
> sin(a) remains as is unless you define another representation for "a" - 
> strictly
> speaking, it's more like a substitution.
>

I can see that the current proposal might be undesirable if the same
worksheet is to be presented in another format, e.g. a worksheet
prepared in jfricas but later you want to use it in TeXmacs.

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAC6x94Qh7TU7Spkyef5tv0LKDfdOgtj06d%3Dm%3D%3DYWgZ-2ETUyqw%40mail.gmail.com.

Re: [fricas-devel] latex symbols in fmtmathjax

[Waldek Hebisch]

On Mon, May 03, 2021 at 12:09:49PM -0400, Bill Page wrote:
> If it is necessary to consider alternatives, then I think one other
> approach would be to export a function that sets a "presentation" property
> on a Symbol and then make use of that property (if it exists) and if the
> flag is set in FormatMathJax. The benefit then might be that a formatter
> would have a choice as to whether to use the presentation property string
> or not.

Yes, that is direction that I have in mind.  Such property is
formatter specific, so should be settable per formatter (possibly
as hash table in formatter).

-- 
  Waldek Hebisch

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/20210503173331.GA18784%40math.uni.wroc.pl.

Re: [fricas-devel] latex symbols in fmtmathjax

[Kurt Pagani]

On 03.05.2021 18:09, Bill Page wrote:
> If it is necessary to consider alternatives, then I think one other approach
> would be to export a function that sets a "presentation" property on a Symbol
> and then make use of that property (if it exists) and if the flag is set in
> FormatMathJax. The benefit then might be that a formatter would have a choice 
> as
> to whether to use the presentation property string or not. 

Do you think of something like setProperty/display in BOP?
https://fricas.github.io/api/BasicOperator.html
Or have I completely misread your suggestion?

I've been using the those methods for some time, e.g.
f:=operator 'f
display(f,o+->F)
f [x,y,z] -> F
properties f -> table(%display = NONE)

in order to suppress the arguments (enhancing readibility of large formulas),
however, it's not exatly brilliant :( - you'll notice that as soon as you need
derivatives.

@Waldek
> it is not something
> localized but in principle has very wide scope.

Admitted, however, what's wrong with this? It concerns MathJax only, and a
sin(a) remains as is unless you define another representation for "a" - strictly
speaking, it's more like a substitution.



> 
> On Sun, May 2, 2021 at 3:02 PM Waldek Hebisch  > wrote:
> 
> On Sun, May 02, 2021 at 11:29:44AM -0400, Bill Page wrote:
> > Ralf's proposed patch for FormatMathJax allows much more than just 
> support
> > of Unicode-like symbols. There are many cases when one might want to 
> use a
> > small but otherwise arbitrary LaTeX fragment as a more sophisticated 
> way to
> > represent some symbol.
> 
> That part of reason why I view it as problematic: it is not something
> localized but in principle has very wide scope.
> -- 
>                               Waldek Hebisch
> 
> -- 
> 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 fricas-devel+unsubscr...@googlegroups.com
> .
> To view this discussion on the web visit
> 
> https://groups.google.com/d/msgid/fricas-devel/20210502190206.GA32321%40math.uni.wroc.pl
> 
> .
> 
> -- 
> 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 fricas-devel+unsubscr...@googlegroups.com
> .
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/CAC6x94TT56jftJRj-9Tc0Cn_tut9LYyTVUYiektzTxv8nQnJTA%40mail.gmail.com
> .

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/bf15797b-0349-22f6-498b-bfcabe19a625%40gmail.com.

Re: [fricas-devel] trying to compile aldor

[Tobias Neumann]

I don't see any concrete errors in the log below. But it seems to me
that you are running make with multiple parallel jobs (-jX), and some of
them failed. I've noticed that the build can run into trouble with -j. I
would recommend to try again with just one job, i.e. just "make" or
"make -j1". It must be that some dependencies are not properly taken
care of.

Best wishes,
Tobias

Quoting Andrey G. Grozin (2021-05-03 12:13:17)
> Hello *,
> 
> I'm trying to compile the current aldor from github.com/aldorlang/aldor
> on Gentoo linux and I get
> 
> Making all in al
> make[4]: Entering directory 
> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'
> set -e; \
> true > lang.dep_tmp;\
> for i in ; do   \
> d=$(basename $i .dep);   \
> cat $i >> lang.dep_tmp;  \
> echo $d >> lang.dep_tmp; \
> done;   \
> if test ! -f lang.dep; then \
> mv lang.dep_tmp lang.dep;\
> elif diff lang.dep lang.dep_tmp > /dev/null; then   \
> rm lang.dep_tmp; \
> else\
> mv lang.dep_tmp lang.dep;\
> fi
> set -e; \
> ar cr _sublib_depend_foamlib.al;\
> for l in ; do   \
> if [ ! -f $l ]; then \
>echo "missing $l";\
>exit 1;   \
> fi;  \
> ar x $l; \
> ar r _sublib_depend_foamlib.al $(ar t $l);   \
> rm $(ar t $l);   \
>  done
> set -e; \
> true > machine.dep_tmp; \
> for i in lang.dep; do   \
> d=$(basename $i .dep);   \
> cat $i >> machine.dep_tmp;   \
> echo $d >> machine.dep_tmp;  \
> done;   \
> if test ! -f machine.dep; then  \
> mv machine.dep_tmp machine.dep;  \
> elif diff machine.dep machine.dep_tmp > /dev/null; then \
> rm machine.dep_tmp;  \
> else\
> mv machine.dep_tmp machine.dep;  \
> fi
> set -e; \
> rm -f lang.c lang.ao;   \
> cp _sublib_depend_foamlib.al libfoamlib_lang.al; 
> \
> ar r libfoamlib_lang.al ;   \
>../../../../aldor/src/aldor -Nfile=../../../../aldor/src/aldor.conf 
> -Mno-ALDOR_W_WillObsolete -Wcheck -Waudit -Z db -Q8  -Y. 
> -I../../../../aldor/lib/libfoamlib/al -lAxlLib=foamlib_lang -DBuildAxlLib 
> -Fasy=lang.asy -Fao=lang.ao -Fabn=lang.abn lang.as ; 
> \
> rm libfoamlib_lang.al
> set -e; \
> true > basic.dep_tmp;   \
> for i in lang.dep machine.dep; do   \
> d=$(basename $i .dep);   \
> cat $i >> basic.dep_tmp; \
> echo $d >> basic.dep_tmp;\
> done;   \
> if test ! -f basic.dep; then\
> mv basic.dep_tmp basic.dep;  \
> elif diff basic.dep basic.dep_tmp > /dev/null; then \
> rm basic.dep_tmp;\
> else\
> mv basic.dep_tmp basic.dep;  \
> fi
> make[4]: *** [../../../../lib/buildlib.mk:84: lang.ao] Error 139
> make[4]: *** Waiting for unfinished jobs
> make[4]: Leaving directory 
> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'
> make[3]: *** [Makefile:549: all-recursive] Error 1
> make[3]: Leaving directory 
> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib'
> make[2]: *** [Makefile:375: all-recursive] Error 1
> make[2]: Leaving directory 
> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib'
> make[1]: *** [Makefile:379: all-recursive] Error 1
> make[1]: Leaving directory 
> '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor'
> make: *** [Makefile:602: all-recursive] Error 1
> 
> Any ideas how to proceed?
> 
> By the way, to generate documentation, configure wants fig2eps. Is it this 
> script?
> http://www.courville.org/home/fig2eps
> 
> Thanks in advance,
> Andrey

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/162005996041.2737483.11744564801929455071%40T440s.

[fricas-devel] trying to compile aldor

[Andrey G. Grozin]

Hello *,

I'm trying to compile the current aldor from github.com/aldorlang/aldor
on Gentoo linux and I get

Making all in al
make[4]: Entering directory 
'/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'

set -e; \
true > lang.dep_tmp;\
for i in ; do   \
   d=$(basename $i .dep);   \
   cat $i >> lang.dep_tmp;  \
   echo $d >> lang.dep_tmp; \
done;   \
if test ! -f lang.dep; then \
   mv lang.dep_tmp lang.dep;\
elif diff lang.dep lang.dep_tmp > /dev/null; then   \
   rm lang.dep_tmp; \
else\
   mv lang.dep_tmp lang.dep;\
fi
set -e; \
ar cr _sublib_depend_foamlib.al;\
for l in ; do   \
   if [ ! -f $l ]; then \
  echo "missing $l";\
  exit 1;   \
   fi;  \
   ar x $l; \
   ar r _sublib_depend_foamlib.al $(ar t $l);   \
   rm $(ar t $l);   \
done
set -e; \
true > machine.dep_tmp; \
for i in lang.dep; do   \
   d=$(basename $i .dep);   \
   cat $i >> machine.dep_tmp;   \
   echo $d >> machine.dep_tmp;  \
done;   \
if test ! -f machine.dep; then  \
   mv machine.dep_tmp machine.dep;  \
elif diff machine.dep machine.dep_tmp > /dev/null; then \
   rm machine.dep_tmp;  \
else\
   mv machine.dep_tmp machine.dep;  \
fi
set -e; \
rm -f lang.c lang.ao;   \
cp _sublib_depend_foamlib.al libfoamlib_lang.al; 
\

ar r libfoamlib_lang.al ;   \
  ../../../../aldor/src/aldor -Nfile=../../../../aldor/src/aldor.conf 
-Mno-ALDOR_W_WillObsolete -Wcheck -Waudit -Z db -Q8  -Y. 
-I../../../../aldor/lib/libfoamlib/al -lAxlLib=foamlib_lang -DBuildAxlLib 
-Fasy=lang.asy -Fao=lang.ao -Fabn=lang.abn lang.as ; 
\

rm libfoamlib_lang.al
set -e; \
true > basic.dep_tmp;   \
for i in lang.dep machine.dep; do   \
   d=$(basename $i .dep);   \
   cat $i >> basic.dep_tmp; \
   echo $d >> basic.dep_tmp;\
done;   \
if test ! -f basic.dep; then\
   mv basic.dep_tmp basic.dep;  \
elif diff basic.dep basic.dep_tmp > /dev/null; then \
   rm basic.dep_tmp;\
else\
   mv basic.dep_tmp basic.dep;  \
fi
make[4]: *** [../../../../lib/buildlib.mk:84: lang.ao] Error 139
make[4]: *** Waiting for unfinished jobs
make[4]: Leaving directory 
'/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al'

make[3]: *** [Makefile:549: all-recursive] Error 1
make[3]: Leaving directory 
'/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib'

make[2]: *** [Makefile:375: all-recursive] Error 1
make[2]: Leaving directory 
'/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib'

make[1]: *** [Makefile:379: all-recursive] Error 1
make[1]: Leaving directory 
'/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor'

make: *** [Makefile:602: all-recursive] Error 1

Any ideas how to proceed?

By the way, to generate documentation, configure wants fig2eps. Is it this 
script?

http://www.courville.org/home/fig2eps

Thanks in advance,
Andrey

--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/1f32dd5b-51ea-3c9c-9ad3-f26ffdb5a028%40starnew.inp.nsk.su.

Re: [fricas-devel] latex symbols in fmtmathjax

[Bill Page]

If it is necessary to consider alternatives, then I think one other
approach would be to export a function that sets a "presentation" property
on a Symbol and then make use of that property (if it exists) and if the
flag is set in FormatMathJax. The benefit then might be that a formatter
would have a choice as to whether to use the presentation property string
or not.

On Sun, May 2, 2021 at 3:02 PM Waldek Hebisch 
wrote:

> On Sun, May 02, 2021 at 11:29:44AM -0400, Bill Page wrote:
> > Ralf's proposed patch for FormatMathJax allows much more than just
> support
> > of Unicode-like symbols. There are many cases when one might want to use
> a
> > small but otherwise arbitrary LaTeX fragment as a more sophisticated way
> to
> > represent some symbol.
>
> That part of reason why I view it as problematic: it is not something
> localized but in principle has very wide scope.
> --
>   Waldek Hebisch
>
> --
> 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 fricas-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/20210502190206.GA32321%40math.uni.wroc.pl
> .
>

-- 
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAC6x94TT56jftJRj-9Tc0Cn_tut9LYyTVUYiektzTxv8nQnJTA%40mail.gmail.com.