[#AMATH-387] $true$ and $false$ are not presented

ActiveMath

$true$ and $false$ are not presented

Created: 2004-08-11 01:08 Updated: 2006-12-01 17:12

Component/s:

Presentation: Formulae

Affects Version/s:

None

Fix Version/s:

1.0

Time Tracking:

Not Specified

File Attachments:

screenshot-1.jpg (295 kb)
2.

screenshot-piecew-symbol1.jpg (339 kb)

Image Attachments:

1. screenshot_no_pres_for_true_and_false.PNG
(19 kb)

Description

« Hide

Please write presentations for:

supremum and infimum (analogous to max and min); I thought, George, you had defined them in "elementary" but this is not the case, it seems;
limes superior and limes inferior; I defined these symbols in "sequence_sub.oqmath" (theory: "subsequence") and made a first attempt on their stylesheets in "mine_html.xsl" (analogous to the styleshoeet for "lim", but they do not work properly. Maybe these can also be reduced, e.g., if one defines them analogous to lim, then "inf" and "both_sides" will always be the first two arguments, and hence could be dropped and put in automatically; so I would suggest something like:
limsup(lambda(n,sqt(x,n))) and liminf(lambda(n,sqt(x,n)));
infinite_union and infinite_intersection: like
infinite_union(n in N; sqt(x,n)) in order to describe the set of all sqt(x,n) for all n in N.
"true" and "false": there should be German versions available: "wahr" and "falsch";

All

Comments

Work Log

Change History

Version Control

FishEye

Crucible

Related Builds

Sort Order:

Ascending order - Click to sort in descending order

[ Permlink | « Hide ]

Christian Groß - 2004-10-05 01:10

I have now also defined symbols "min", "max", "sup", and "inf" for the content LeAM_calculus. So please include these symbols into the list of symbols for which stylesheets are still missing.

[ Permlink | « Hide ]

Christian Groß - 2005-02-03 02:02

In the new style sheets, the piecew symbol now seems to always start
a new line after the "{", although there is plenty of space left.

[ Permlink | « Hide ]

Stefan Winterstein - 2005-02-18 13:02

Moving to beta-3.

[ Permlink | « Hide ]

Admin (Paul Libbrecht) - 2005-07-27 12:07

Symbol presentation is for Shahid, definitely!
paul

[ Permlink | « Hide ]

Stefan Winterstein - 2005-08-12 16:08

Didn't make it for beta-3.

[ Permlink | « Hide ]

Paul Libbrecht - 2005-09-23 11:09

Greek letters are now all in (including usage of unicode characters for all capital greek letters, e.g. <OMV name="Beta"/> will present as the unicode capital-greek-beta which is not the roman B (but looks the same).
We follow TeX convention that Delta gives capital delta and delta gives lowercase delta.

Rephrased this issue as "missing presentation".
paul

[ Permlink | « Hide ]

Paul Libbrecht - 2005-09-30 16:09

limsup and liminf are working.
Can you tell, please, what other presentations are missing in this list ?
I know about neighbourhood.

thanks

paul

[ Permlink | « Hide ]

Christian Groß - 2005-09-30 23:09

"wahr" and "falsch" are still missing. I'm not sure if there exist symbolpresentations for sup and inf, analogously to min and max. And, as you said, neighbourhood is also missing.

[ Permlink | « Hide ]

Paul Libbrecht - 2005-10-01 00:10

I think all these symbols have a presentation now.
paul

[ Permlink | « Hide ]

Christian Groß - 2005-10-14 16:10

The symbols "true" and "false" (as stand-alones, i.e. $true$ and $false$) are not presented (any more?), let alone presented in language dependent ways. cf. screenshot.

[ Permlink | « Hide ]

Stefan Winterstein - 2006-11-07 16:11

For 1.0?

[ Permlink | « Hide ]

Paul Libbrecht - 2006-12-01 17:12

Fantastic... this issue is more than 2 years old and I am happy to say... it's fixed.
Here are my proofs:

big union: <yourActiveMath>/ActiveMath2/search/show.cmd?id=mbase%3A%2F%2FLeAM_calculus%2Frelations%2Flem_sum_relation
limsup and liminf: <yourActiveMath>/ActiveMath2/search/show.cmd?id=mbase://LeAM_calculus/convtests_series/thm2_ratio_test
supremum and maximum: <yourActiveMath>/ActiveMath2/search/show.cmd?id=mbase://LeAM_calculus/bounded_sets/def_sup

nice!
paul