From b470f6e697d62ac77ea6c880d7199de801988ba7 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 18 Sep 2008 03:16:31 +0000
Subject: 	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax
 domains. 	* algebra/syntax.spad.pamphlet: Add more syntax domains. 
 * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more 	syntax
 object files.

---
 src/algebra/exposed.lsp.pamphlet | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'src/algebra/exposed.lsp.pamphlet')

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index a4b5a8c4..da109105 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -51,6 +51,7 @@
 '(
 ;;define the groups |basic| |naglink| |anna| |categories| |Hidden| |defaults|
 (|basic| 
+  (|AddAst| . ADDAST)
   (|AlgebraicManipulations| . ALGMANIP)
   (|AlgebraicNumber| . AN)
   (|AlgFactor| . ALGFACT)
@@ -76,14 +77,19 @@
   (|Boolean| . BOOLEAN)
   (|Byte| . BYTE)
   (|ByteArray| . BYTEARY)
+  (|CallAst| . CALLAST)
+  (|CapsuleAst| . CAPSLAST)
   (|CardinalNumber| . CARD)
   (|CartesianTensor| . CARTEN)
   (|CartesianTensorFunctions2| . CARTEN2)
+  (|CaseAst| . CASEAST)
+  (|CategoryAst| . CATAST)
   (|Character| . CHAR)
   (|CharacterClass| . CCLASS)
   (|CharacteristicPolynomialPackage| . CHARPOL)
   (|CliffordAlgebra| . CLIF)
   (|Color| . COLOR)
+  (|CommaAst| . COMMAAST)
   (|CommonDenominator| . CDEN)
   (|Commutator| . COMM)
   (|Complex| . COMPLEX)
@@ -91,6 +97,7 @@
   (|ComplexFunctions2| . COMPLEX2)
   (|ComplexRootPackage| . CMPLXRT)
   (|ComplexTrigonometricManipulations| . CTRIGMNP)
+  (|ColonAst| . COLONAST)
   (|ConstructorCall| . CTORCALL)
   (|ContinuedFraction| . CONTFRAC)
   (|Contour| . CONTOUR)
@@ -101,6 +108,7 @@
   (|DataBuffer| . DATABUF)
   (|DataList| . DLIST)
   (|DecimalExpansion| . DECIMAL)
+  (|DefinitionAst| . DEFAST)
   (|DenavitHartenbergMatrix| . DHMATRIX)
   (|Dequeue| . DEQUEUE)
   (|DiophantineSolutionPackage| . DIOSP)
@@ -170,6 +178,7 @@
   (|GroebnerPackage| . GB)
   (|GroebnerFactorizationPackage| . GBF)
   (|HallBasis| . HB)
+  (|HasAst| . HASAST)
   (|HeadAst| . HEADAST)
   (|Heap| . HEAP)
   (|HexadecimalExpansion| . HEXADEC)
@@ -200,11 +209,13 @@
   (|InventorRenderPackage| . IVREND)
   (|InverseLaplaceTransform| . INVLAPLA)
   (|IrrRepSymNatPackage| . IRSN)
+  (|IsAst| . ISAST)
   (|JavaBytecode| . JAVACODE)
   (|KernelFunctions2| . KERNEL2)
   (|KeyedAccessFile| . KAFILE)
   (|LaplaceTransform| . LAPLACE)
   (|LazardMorenoSolvingPackage| . LAZM3PK)
+  (|LetAst| . LETAST)
   (|Library| . LIB)
   (|LieSquareMatrix| . LSQM)
   (|LinearOrdinaryDifferentialOperator| . LODO)
@@ -216,6 +227,7 @@
   (|ListFunctions3| . LIST3)
   (|ListToMap| . LIST2MAP)
   (|Literal| . LITERAL)
+  (|MacroAst| . MACROAST)
   (|MakeFloatCompiledFunction| . MKFLCFN)
   (|MakeFunction| . MKFUNC)
   (|MakeRecord| . MKRECORD)
@@ -312,6 +324,7 @@
   (|PropositionalFormula| . PROPFRML)
   (|QuadraticForm| . QFORM)
   (|QuasiComponentPackage| . QCMPACK)
+  (|QuasiquoteAst| . QQUTAST)
   (|Quaternion| . QUAT)
   (|QuaternionCategoryFunctions2| . QUATCT2)
   (|QueryEquation| . QEQUAT)
@@ -350,9 +363,11 @@
   (|ScriptFormulaFormat| . FORMULA)
   (|ScriptFormulaFormat1| . FORMULA1)
   (|Segment| . SEG)
+  (|SegmentAst| . SEGAST)
   (|SegmentBinding| . SEGBIND)
   (|SegmentBindingFunctions2| . SEGBIND2)
   (|SegmentFunctions2| . SEG2)
+  (|SequenceAst| . SEQAST)
   (|Set| . SET)
   (|SimpleAlgebraicExtensionAlgFactor| . SAEFACT)
   (|SimplifyAlgebraicNumberConvertPackage| . SIMPAN)
@@ -372,6 +387,7 @@
   (|StreamFunctions3| . STREAM3)
   (|String| . STRING)
   (|SturmHabichtPackage| . SHP)
+  (|SuchThatAst| . SUCHTAST)
   (|Symbol| . SYMBOL)
   (|SymmetricGroupCombinatoricFunctions| . SGCF)
   (|Syntax| . SYNTAX)
-- 
cgit v1.2.3