Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

bilo: bracketed identifier-localized operator, 4.2.1
Authors

M. Barnett
K. Perry
Old MathSource #

0207-290
Revision date

1994-12-19
Description

Helps to produce conventionally styled mathematical discourse, for derivations and proofs in applied mathematics, as described in: M. P. Barnett, "Implicit rule formation in symbolic computation," and M. P. B. & K. R. Perry, "Hierarchical addressing in symbolic computation," in Computers and Mathematics with Applications, 26, 35-50, 1993 & 28, 17-35, 1994, and M. P. B. & K. R. P., "Symbolic computation for electronic publishing," TUGboat, 15 (3) 285-292 Nov. 1994. Facilitates the idiom of labelled equations, identities and other relationships, and the mention of these labels to specify operations on one relationship using another. Allows actions to be targeted on mnemonically specified parts of an expression. Supports production of ASCII and TeX coded documents by interpretation of control files that contain statements to be executed, coded text, and formating information.
Subject

*Mathematica Technology > Programming > Symbolic Computation
Keywords

bilo, rule formation, symbolic computation, Hierarchical addressing, labelled equations, identities, TeX, ASCII, bracketed identifier, localized operator
Downloads Download Wolfram CDF Player

Download
README.4.2.1.txt (341 B) - "Getting Started" documentation
Download
agg.chk (6.1 KB) - corresponding output
Download
agg.test (4.2 KB) - subsidiary file to check actions on aggregates
Download
autorun.m (6.9 KB) - autorun package
Download
bi.algebra (14.8 KB) - bilo module performing algebraic operations
Download
bi.alias (10.7 KB) - bilo module supporting function aliases
Download
bi.predicates (2.8 KB) - bilo module supporting special predicates
Download
bi.root (1.6 KB) - bilo module performing basic operations
Download
bi.ruleFormation (4.4 KB) - bilo module that constructs rules
Download
bi.target (18.3 KB) - bilo module for hierarchical addressing
Download
bilo.m (999 B) - head file of the bilo package
Download
coll.chk (16.6 KB) - corresponding output
Download
coll.test (13.2 KB) - subsidiary control file to check collection
Download
dist.chk (6.6 KB) - corresponding output
Download
dist.test (4.8 KB) - subsidiary control file to check distribution
Download
endTest (218 B) - subsidiary control file to end validation
Download
fact.chk (1.2 KB) - corresponding output
Download
fact.test (612 B) - subsidiary control file to check factoring
Download
firsym.chk (15 KB) - corresponding output
Download
firsym.test (11.4 KB) - verifies work cited as 1 in ld421.tex/ps
Download
had1.chk (60.6 KB) - output from had1.test
Download
had1.extra (118 B) - used by had1.test
Download
had1.ps (224.4 KB) - corresponding postscript file
Download
had1.test (38.1 KB) - verifies all results in had1.tex
Download
had1.tex (72.6 KB) - account of hierarchical addressing, LaTeX
Download
had2.chk (24.1 KB) - corresponding output
Download
had2.extra (2.3 KB) - used by had2.test
Download
had2.test (12.5 KB) - verifies work cited as 2 in ld421.tex/ps
Download
ld421.ps (106.7 KB) - overview of distribution files, PostScript
Download
ld421.tex (19.7 KB) - overview of distribution files, LaTeX
Download
pred.chk (6.4 KB) - corresponding output
Download
pred.test (4.6 KB) - subsidiary file to check predicates
Download
rel.chk (3.1 KB) - corresponding output
Download
rel.test (1.8 KB) - subsidiary to check actions on relationships
Download
root.chk (2.9 KB) - corresponding output
Download
root.test (1.8 KB) - subsidiary file to check some basic actions
Download
rule.chk (7.7 KB) - corresponding output
Download
rule.test (5.2 KB) - subsidiary file to check rule formation
Download
runThrough (653 B) - control file for overall validation
Download
ssk.chk (4.5 KB) - corresponding output
Download
ssk.test (3.3 KB) - subsidiary to check sorting and skeletalizing
Download
startTest (299 B) - subsidiary control file to start validation
Download
summary.chk (796 B) - corresponding output
Download
testBilo (25 B) - command line file for overall validation
Download
tgt1.chk (7.7 KB) - corresponding output
Download
tgt1.test (5.5 KB) - subsidiary file to check addressing
Download
tgt2.chk (6 KB) - corresponding output (
Download
tgt2.test (4 KB) - subsidiary file to check further addressing
Download
trig.chk (18.7 KB) - corresponding output
Download
trig.test (11.3 KB) - subsidiary to check actions on trig functions
Download
u.alias (5.2 KB) - bilo module to export aliases
Download
u.autorun (981 B) - autorun module to import/export variables
Download
u.primary (6.9 KB) - bilo module to import/export variables