Issue: formatting in HyperDoc

[Grégory Vanuxem]

Hello,

I have the following X/X.org fonts ('ii' means installed) on my laptop:

Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name             Version      Architecture Description
+++-================-============-============-=====================================
ii  xfonts-100dpi    1:1.0.5      all          100 dpi fonts for X
ii  xfonts-75dpi     1:1.0.5      all          75 dpi fonts for X
ii  xfonts-base      1:1.0.5+nmu1 all          standard fonts for X
un  xfonts-cyrillic  <none>       <none>       (no description available)
ii  xfonts-encodings 1:1.0.4-2.2  all          Encodings for X.Org fonts
un  xfonts-misc      <none>       <none>       (no description available)
ii  xfonts-scalable  1:1.0.3-1.3  all          scalable fonts for X

ii  xfonts-utils     1:7.7+7      amd64        X Window System font utility programs 

But today I opened the QUAT domain page in HyperDoc and in the source file the documentation of:

       rational?    : % -> Boolean
         ++ rational?(q) returns {\it true} if all the imaginary
         ++ parts of \spad{q} are zero and the real part can be
         ++ converted into a rational number, and {\it false}
         ++ otherwise.

I do not see any formatting difference for \it{} or \sapd{} in HyperDoc, it is like simple text. Is it intentional or are my settings wrong somewhere?

- Greg

 

[Waldek Hebisch]

On Wed, May 28, 2025 at 01:34:51AM +0200, Grégory Vanuxem wrote:
> Hello,
<snip>

> But today I opened the QUAT domain page in HyperDoc and in the source file
> the documentation of:
>
> rational? : % -> Boolean
> ++ rational?(q) returns {\it true} if all the imaginary
> ++ parts of \spad{q} are zero and the real part can be
> ++ converted into a rational number, and {\it false}
> ++ otherwise.
>
> I do not see any formatting difference for \it{} or \sapd{} in HyperDoc,
> it is like simple text. Is it intentional or are my settings wrong
> somewhere?

If you look at chapter 3.8 in FriCAS book you will notice that
in default configuration FriCAS uses just 3 fonts: roman, bold
and italic. In the QUAT page I see bold for types, italic for
inactive links at the bottom, for 'rational?' and
'Quaternion(R)' in top bar, for "labels" and single letter 'q'
in the main part and roman for the rest.

If that agrees with what you see than I think you see things
"like implemented". I suspect that '\spad' uses TtFont
which in default configuration is the same as text font.
Also, 'false' and 'true' probably are automatically put inside
implictit '\spad' so '\it' have no effect on it.

By changing .Xdefaults you can try to use more fonts/colors.
Note: IIUC modern systems are problematic, one apparently needs
to put settings in a file and do something like:

xrdb -load $HOME/.Xresources

(assuming that you put setting in ~/.Xresources).

--
Waldek Hebisch

[Grégory Vanuxem]

Ok, thanks I will experiment using what you're saying. That would be helpful. I must say, I only modified one time those user settings, a long time ago.

- Greg

--
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...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/aDZhQlwIydBT9Yjy%40fricas.org.