bilo: bracketed identifier-localized operator, 4.2.1 -- from Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Title

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

Wolfram Technology > Programming > Symbolic Computation

Keywords

bilo, rule formation, symbolic computation, Hierarchical addressing, labelled equations, identities, TeX, ASCII, bracketed identifier, localized operator

Downloads

README.4.2.1.txt (341 B) - "Getting Started" documentation

agg.chk (6.1 KB) - corresponding output

agg.test (4.2 KB) - subsidiary file to check actions on aggregates

autorun.m (6.9 KB) - autorun package

bi.algebra (14.8 KB) - bilo module performing algebraic operations

bi.alias (10.7 KB) - bilo module supporting function aliases

bi.predicates (2.8 KB) - bilo module supporting special predicates

bi.root (1.6 KB) - bilo module performing basic operations

bi.ruleFormation (4.4 KB) - bilo module that constructs rules

bi.target (18.3 KB) - bilo module for hierarchical addressing

bilo.m (999 B) - head file of the bilo package

coll.chk (16.6 KB) - corresponding output

coll.test (13.2 KB) - subsidiary control file to check collection

dist.chk (6.6 KB) - corresponding output

dist.test (4.8 KB) - subsidiary control file to check distribution

endTest (218 B) - subsidiary control file to end validation

fact.chk (1.2 KB) - corresponding output

fact.test (612 B) - subsidiary control file to check factoring

firsym.chk (15 KB) - corresponding output

firsym.test (11.4 KB) - verifies work cited as 1 in ld421.tex/ps

had1.chk (60.6 KB) - output from had1.test

had1.extra (118 B) - used by had1.test

had1.ps (224.4 KB) - corresponding postscript file

had1.test (38.1 KB) - verifies all results in had1.tex

had1.tex (72.6 KB) - account of hierarchical addressing, LaTeX

had2.chk (24.1 KB) - corresponding output

had2.extra (2.3 KB) - used by had2.test

had2.test (12.5 KB) - verifies work cited as 2 in ld421.tex/ps

ld421.ps (106.7 KB) - overview of distribution files, PostScript

ld421.tex (19.7 KB) - overview of distribution files, LaTeX

pred.chk (6.4 KB) - corresponding output

pred.test (4.6 KB) - subsidiary file to check predicates

rel.chk (3.1 KB) - corresponding output

rel.test (1.8 KB) - subsidiary to check actions on relationships

root.chk (2.9 KB) - corresponding output

root.test (1.8 KB) - subsidiary file to check some basic actions

rule.chk (7.7 KB) - corresponding output

rule.test (5.2 KB) - subsidiary file to check rule formation

runThrough (653 B) - control file for overall validation

ssk.chk (4.5 KB) - corresponding output

ssk.test (3.3 KB) - subsidiary to check sorting and skeletalizing

startTest (299 B) - subsidiary control file to start validation

summary.chk (796 B) - corresponding output

testBilo (25 B) - command line file for overall validation

tgt1.chk (7.7 KB) - corresponding output

tgt1.test (5.5 KB) - subsidiary file to check addressing

tgt2.chk (6 KB) - corresponding output (

tgt2.test (4 KB) - subsidiary file to check further addressing

trig.chk (18.7 KB) - corresponding output

trig.test (11.3 KB) - subsidiary to check actions on trig functions

u.alias (5.2 KB) - bilo module to export aliases

u.autorun (981 B) - autorun module to import/export variables

u.primary (6.9 KB) - bilo module to import/export variables

WOLFRAM