Re: [NTG-context] mathmatrix and internal lines

[Otared Kavian]

> On 26 Nov 2020, at 23:23, Hans Hagen  wrote:
> […]
> A bit more code needed but the next upload will have it. Of course you have 
> to wikify it.
> 
> Hans

Hi,
I created a page on the wiki:
https://wiki.contextgarden.net/Matrix_in_maths 

However the LMTX code is not typeset on the wiki. I'll see with taco whether it 
is possible to have lmtx mode on the wiki.

Best regards: Otared K.___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Several lines under a limit

[Fabrice Couvreur]

Hi Wolfgang,
I knew the \substack command exists with latex but not with context, thanks
a lot.
Fabrice

Le sam. 28 nov. 2020 à 16:29, Wolfgang Schuster <
wolfgang.schuster.li...@gmail.com> a écrit :

> Fabrice Couvreur schrieb am 28.11.2020 um 15:57:
> > Hi,
> > Is there a command that allows to write multiple lines under the command
> > \lim ?
> > I tried but ...
> > Cordially
> > Fabrice
> >
> > \starttext
> > \startformula
> >\lim_{
> >  \vbox{\startalign
> >\NC x \to 2 \NR
> >\NC x > 2   \NR
> >  \stopalign}}=+\infty
> > \stopformula
> > \stoptext
>
> \starttext
>
> \startformula
>\lim_{%
>  \startsubstack
>x \to 2 \NR
>x  >  2 \NR
>  \stopsubstack
>} = +\infty
> \stopformula
>
> \stoptext
>
> Wolfgang
>
> ___
> If your question is of interest to others as well, please add an entry to
> the Wiki!
>
> maillist : ntg-context@ntg.nl /
> http://www.ntg.nl/mailman/listinfo/ntg-context
> webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> wiki : http://contextgarden.net
>
> ___
>
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Several lines under a limit

[Wolfgang Schuster]

Fabrice Couvreur schrieb am 28.11.2020 um 15:57:

Hi,
Is there a command that allows to write multiple lines under the command 
\lim ?

I tried but ...
Cordially
Fabrice

\starttext
\startformula
   \lim_{
     \vbox{\startalign
       \NC x \to 2 \NR
       \NC x > 2   \NR
     \stopalign}}=+\infty
\stopformula
\stoptext


\starttext

\startformula
  \lim_{%
\startsubstack
  x \to 2 \NR
  x  >  2 \NR
\stopsubstack
  } = +\infty
\stopformula

\stoptext

Wolfgang
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

[NTG-context] Several lines under a limit

[Fabrice Couvreur]

Hi,
Is there a command that allows to write multiple lines under the command
\lim ?
I tried but ...
Cordially
Fabrice

\starttext
\startformula
  \lim_{
\vbox{\startalign
  \NC x \to 2 \NR
  \NC x > 2   \NR
\stopalign}}=+\infty
\stopformula
\stoptext
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] new lmtx

[Pablo Rodriguez]

On 11/27/20 9:05 PM, Pablo Rodriguez wrote:
> [...]
> The link rectangle goes to the end of the line.

Hans,

many thanks for having fixed the issue in latest from today.

Pablo
--
http://www.ousia.tk
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Hans Hagen]

On 11/28/2020 11:32 AM, luigi scarso wrote:



On Sat, Nov 28, 2020 at 11:18 AM Hans Hagen > wrote:


looks nice (specs and such) indeed, maybe as a next tablet (i haven't
tested tex on the very old nexus in a while); probably a little faster
than the rpi 4


these also look interesting
  e.g.
https://tinker-board.asus.com/prod_tinker-board-2s.html 


ah, an update, interesting indeed (also some flash on board)

(I just compiled luametatex for windows arm but I lack a MWHE for 
testing it.)


Hans

-
  Hans Hagen | PRAGMA ADE
  Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
   tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[luigi scarso]

On Sat, Nov 28, 2020 at 11:18 AM Hans Hagen  wrote:

> looks nice (specs and such) indeed, maybe as a next tablet (i haven't
> tested tex on the very old nexus in a while); probably a little faster
> than the rpi 4
>

these also look interesting
 e.g.
https://tinker-board.asus.com/prod_tinker-board-2s.html

-- 
luigi
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Christian Prim]

Hi Hans

>
> (btw, i think a 32 bit arm bij should run on the 64 right, and the 32
> bit is still old debian)


Could be, but one has to install the 32-bit linker and libraries. It
doesn't work out of the box. I tested it. And the binary is not recognised
as such:

user@penguin:~/test/bin$ ./mtxrun
-bash: ./mtxrun: No such file or directory

user@penguin:~/test/bin$ file mtxrun
mtxrun: ELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), dynamically
linked, interpreter /lib/ld-linux-armhf.so.3, for GNU/Linux 3.2.0,
BuildID[sha1]=2605a12bc4b8fdedf57f71908f74f3ad3fbedcc8, stripped

user@penguin:~/test/bin$ ldd mtxrun
not a dynamic executable

Sorry for the not so good news...

Christian
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Hans Hagen]

On 11/28/2020 11:02 AM, Christian Prim wrote:

Hi Mojca

sorry for being a few days late. I got the hardware just yesterday. It's 
a lenovo chromebook duet (Tablet), that can run linux apps. For the UK 
(you may select your country) it's here: 
https://www.lenovo.com/gb/en/laptops/lenovo/student-chromebooks/Lenovo-CT-X636/p/ZZICZCTCT1X 



Very nice little piece of hardware. Small, great battery life and not so 
limited as other tablets (full linux access). Rather fast too...
looks nice (specs and such) indeed, maybe as a next tablet (i haven't 
tested tex on the very old nexus in a while); probably a little faster 
than the rpi 4


Hans

-
  Hans Hagen | PRAGMA ADE
  Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
   tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Hans Hagen]

On 11/28/2020 10:52 AM, Mojca Miklavec wrote:

Dear Christian,

On Fri, 27 Nov 2020 at 20:50, Christian Prim wrote:


Is there a reason why the arm binaries for ARM Linux use version 2.29 of glibc?


They are being compiled on a Raspberry PI which kind of lacks
first-class 64-bit support (or at least that was the case when we set
up a builder on our build farm, about 9 months ago). I don't remember
seeing anyone even request those binaries before, and this is the
first complaint I see about the glibc-too-new issue on aarch64 (it was
common on the Intel platform, but there we can easily build on Debian
8 or 9).

I believe the RPI is currently running some recent version of Ubuntu
(it was set up by Hans; I would need to check to be sure, but it could
well be that it's 20.04).


Indeed, because older 64 bit made the machine freeze after a while. We 
run from usb (3) which is kind of evolving on the pi (at least we can 
now reboot the machine).



Judging from (random google hits)
 https://www.raspberrypi.org/forums/viewtopic.php?t=243985
 https://www.raspberrypi.org/blog/latest-raspberry-pi-os-update-may-2020/
it could be that May 2020 (which is precisely 6 months ago, in any
case later than when the builder was set up) has brought some better
news, an OS image that wouldn't require so much hacking to get it set
up and running.


Given the nature of these tiny machines running the latest greatest 
makes sense.



It's a pity that you didn't ask this question a few days ago, I
believe that Hans just reinstalled everything on that tiny device (SD
cards are a pain and like to wear out rather quickly if you keep
running build jobs and rewriting the same memory cells over and over
again; I thought we had set up an external disk properly, but well
...)


We have and previous versions then demansed some reflashing of the boiot 
eeprom and such (which effectively means that one has a os -- to do that 
-- on the tiny card and the external disk that we run the farm 
compilation on (I need to displace the machine and connect it to 
keyboard, screen etc to do that. Not really optimal for a headless 
approach.)



We could try again to get Debian 10 running on the RPI.


Not worth the trouble. I ran into too many hit for troubles with 64 bit 
while for ubuntu it sounded better.


One reason for doing the 64 bit was to see how well it works (4GB mem, 
performance, etc) just in case i want to use it for real.



Alternatively we could cross-compile, of course, but that's a bit more
painful to set up, and RPI 4 is certainly amazingly fast.


Or the user could update (can't one just symlink some lib to an older 
one? we only use simple stuff)



My actual debian buster installation is still on glibc-2.28. The x86_64 Linux 
binaries also use the older 2.28-version which is widely used among many 
distros. I would be very happy if I could install a 2.28-version on my ARM 
Linux box. Else I have to compile my own glic... or my own mtxrun...


A luametatex binary is needed.

Out of curiosity: what hardware do you run your linux distro on?
(btw, i think a 32 bit arm bij should run on the 64 right, and the 32 
bit is still old debian)


Hans

-
  Hans Hagen | PRAGMA ADE
  Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
   tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Christian Prim]

Hi Mojca

sorry for being a few days late. I got the hardware just yesterday. It's a
lenovo chromebook duet (Tablet), that can run linux apps. For the UK (you
may select your country) it's here:
https://www.lenovo.com/gb/en/laptops/lenovo/student-chromebooks/Lenovo-CT-X636/p/ZZICZCTCT1X

Very nice little piece of hardware. Small, great battery life and not so
limited as other tablets (full linux access). Rather fast too...

As I told in the second email, there's a workaround. But it would be nice,
if context would work out of the box. These little tablets are commonly
used at schools.

Hope I could help

Many thanks again
Christian

Am Sa., 28. Nov. 2020 um 10:52 Uhr schrieb Mojca Miklavec <
mojca.miklavec.li...@gmail.com>:

> Dear Christian,
>
> On Fri, 27 Nov 2020 at 20:50, Christian Prim wrote:
> >
> > Is there a reason why the arm binaries for ARM Linux use version 2.29 of
> glibc?
>
> They are being compiled on a Raspberry PI which kind of lacks
> first-class 64-bit support (or at least that was the case when we set
> up a builder on our build farm, about 9 months ago). I don't remember
> seeing anyone even request those binaries before, and this is the
> first complaint I see about the glibc-too-new issue on aarch64 (it was
> common on the Intel platform, but there we can easily build on Debian
> 8 or 9).
>
> I believe the RPI is currently running some recent version of Ubuntu
> (it was set up by Hans; I would need to check to be sure, but it could
> well be that it's 20.04).
>
> Judging from (random google hits)
> https://www.raspberrypi.org/forums/viewtopic.php?t=243985
>
> https://www.raspberrypi.org/blog/latest-raspberry-pi-os-update-may-2020/
> it could be that May 2020 (which is precisely 6 months ago, in any
> case later than when the builder was set up) has brought some better
> news, an OS image that wouldn't require so much hacking to get it set
> up and running.
>
> It's a pity that you didn't ask this question a few days ago, I
> believe that Hans just reinstalled everything on that tiny device (SD
> cards are a pain and like to wear out rather quickly if you keep
> running build jobs and rewriting the same memory cells over and over
> again; I thought we had set up an external disk properly, but well
> ...)
>
> We could try again to get Debian 10 running on the RPI.
>
> Alternatively we could cross-compile, of course, but that's a bit more
> painful to set up, and RPI 4 is certainly amazingly fast.
>
> > My actual debian buster installation is still on glibc-2.28. The x86_64
> Linux binaries also use the older 2.28-version which is widely used among
> many distros. I would be very happy if I could install a 2.28-version on my
> ARM Linux box. Else I have to compile my own glic... or my own mtxrun...
>
> A luametatex binary is needed.
>
> Out of curiosity: what hardware do you run your linux distro on?
>
> Mojca
>
> ___
> If your question is of interest to others as well, please add an entry to
> the Wiki!
>
> maillist : ntg-context@ntg.nl /
> http://www.ntg.nl/mailman/listinfo/ntg-context
> webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> wiki : http://contextgarden.net
>
> ___
>
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Mojca Miklavec]

Dear Christian,

On Fri, 27 Nov 2020 at 20:50, Christian Prim wrote:
>
> Is there a reason why the arm binaries for ARM Linux use version 2.29 of 
> glibc?

They are being compiled on a Raspberry PI which kind of lacks
first-class 64-bit support (or at least that was the case when we set
up a builder on our build farm, about 9 months ago). I don't remember
seeing anyone even request those binaries before, and this is the
first complaint I see about the glibc-too-new issue on aarch64 (it was
common on the Intel platform, but there we can easily build on Debian
8 or 9).

I believe the RPI is currently running some recent version of Ubuntu
(it was set up by Hans; I would need to check to be sure, but it could
well be that it's 20.04).

Judging from (random google hits)
https://www.raspberrypi.org/forums/viewtopic.php?t=243985
https://www.raspberrypi.org/blog/latest-raspberry-pi-os-update-may-2020/
it could be that May 2020 (which is precisely 6 months ago, in any
case later than when the builder was set up) has brought some better
news, an OS image that wouldn't require so much hacking to get it set
up and running.

It's a pity that you didn't ask this question a few days ago, I
believe that Hans just reinstalled everything on that tiny device (SD
cards are a pain and like to wear out rather quickly if you keep
running build jobs and rewriting the same memory cells over and over
again; I thought we had set up an external disk properly, but well
...)

We could try again to get Debian 10 running on the RPI.

Alternatively we could cross-compile, of course, but that's a bit more
painful to set up, and RPI 4 is certainly amazingly fast.

> My actual debian buster installation is still on glibc-2.28. The x86_64 Linux 
> binaries also use the older 2.28-version which is widely used among many 
> distros. I would be very happy if I could install a 2.28-version on my ARM 
> Linux box. Else I have to compile my own glic... or my own mtxrun...

A luametatex binary is needed.

Out of curiosity: what hardware do you run your linux distro on?

Mojca
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] Install Problems with 64 bit ARM Linux

[Christian Prim]

Hi

could solve the problem, by installing the glibc from debian testing
following the instructions found here:
https://github.com/deltachat/deltachat-desktop/issues/1006

It would still be better I think when glibc 2.28 was used in the binaries...

Thanks
Christian

Am Fr., 27. Nov. 2020 um 20:49 Uhr schrieb Christian Prim <
christian.p...@gmx.ch>:

> Hi everyone
>
> Is there a reason why the arm binaries for ARM Linux use version 2.29 of
> glibc? My actual debian buster installation is still on glibc-2.28. The
> x86_64 Linux binaries also use the older 2.28-version which is widely used
> among many distros. I would be very happy if I could install a 2.28-version
> on my ARM Linux box. Else I have to compile my own glic... or my own
> mtxrun...
>
> Many thanks for your clarifications
> Christian
>
> PS.: error messages during the install:
> .../lmtx/bin/mtxrun: /lib/aarch64-linux-gnu/libm.so.6: version
> `GLIBC_2.29' not found (required by .../lmtx/bin/mtxrun)
>
___
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___