From 6896410ee29bde89bf25c5f126a76a755a810e94 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 18 Jun 2010 13:45:47 +0000 Subject: * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion): Now satisfies DifferentialSpace. * algebra/gseries.spad.pamphlet (GeneralUnivariatePowerSeries): Now satisfies an instance of PartialDifferentialDomain. * algebra/laurent.spad.pamphlet (UnivariateLaurentSeries): Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries): Likewise. * algebra/suls.spad.pamphlet (SparseUnivariateLaurentSeries): Likewise. * algebra/supxs.spad.pamphlet (SparseUnivariatePuiseuxSeries): Likewise. * algebra/suts.spad.pamphlet (SparseUnivariateTaylorSeries): Likewise. * algebra/taylor.spad.pamphlet (UnivariateTaylorSeries): Likewise. --- src/algebra/exposed.lsp.pamphlet | 1 + 1 file changed, 1 insertion(+) (limited to 'src/algebra/exposed.lsp.pamphlet') diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index ea6b06ce..80bb4c66 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -737,6 +737,7 @@ (|PAdicIntegerCategory| . PADICCT) (|PartialDifferentialDomain| . PDDOM) (|PartialDifferentialRing| . PDRING) + (|PartialDifferentialSpace| . PDSPC) (|PartialTranscendentalFunctions| . PTRANFN) (|Patternable| . PATAB) (|PatternMatchable| . PATMAB) -- cgit v1.2.3