SF.net SVN: fricas:[2643] trunk

[wheb...@users.sourceforge.net]

Revision: 2643
http://sourceforge.net/p/fricas/code/2643
Author: whebisch
Date: 2020-03-09 12:09:12 +0000 (Mon, 09 Mar 2020)
Log Message:
-----------
Remove VectorSpace

Modified Paths:
--------------
trunk/ChangeLog
trunk/src/algebra/Makefile.in
trunk/src/algebra/catdef.spad
trunk/src/algebra/equation1.spad
trunk/src/algebra/ffcat.spad
trunk/src/algebra/matrix.spad
trunk/src/algebra/vector.spad

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/ChangeLog 2020-03-09 12:09:12 UTC (rev 2643)
@@ -1,3 +1,10 @@
+2020-03-09 Waldek Hebisch <heb...@math.uni.wroc.pl>
+
+ * src/algebra/catdef.spad, src/algebra/equation1.spad,
+ src/algebra/ffcat.spad, src/algebra/matrix.spad,
+ src/algebra/vector.spad: Remove VectorSpace
+ src/algebra/Makefile.in: Adjust
+
2020-03-08 Waldek Hebisch <heb...@math.uni.wroc.pl>

* src/interp/macros.lisp, src/interp/msgdb.boot:

Modified: trunk/src/algebra/Makefile.in
===================================================================
--- trunk/src/algebra/Makefile.in 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/Makefile.in 2020-03-09 12:09:12 UTC (rev 2643)
@@ -297,7 +297,7 @@
URAGG UTS2 UTSCAT UTSODE UTSODETL UTS VARCAT \
VARIABLE VECTCAT VECTOR2 VECREC1 VECREC2 VECTOR \
VHPSOLV \
- VIEW2D VIEW3D VIEWDEF VIEW VOID VSBASIS VSPACE WEIER \
+ VIEW2D VIEW3D VIEWDEF VIEW VOID VSBASIS WEIER \
WGRPH WP WUTSET XALG XDPOLY XDPOLYF XEXPPKG XFALG \
XF XHASHTBL XML XMLAT XMLEL XPFACT XPOLYC XPOLY XPR XRPOLY \
YSTREAM ZDSOLVE ZLINDEP ZMOD
@@ -318,7 +318,7 @@
RCAGG URAGG STAGG LSAGG TBAGG ALAGG AMR ARR2CAT BRAGG LOGIC \
BTAGG BTCAT CACHSET COMBOPC DIFRING DIFEXT FPC FINITE STEP \
FFIELDC FINRALG FRAMALG FEVALAB MONOGEN PFECAT TRANFUN COMPCAT \
- OASGP OAMON OCAMON OAGROUP OAMONS ORDRING VSPACE DIRPCAT DLAGG \
+ OASGP OAMON OCAMON OAGROUP OAMONS ORDRING DIRPCAT DLAGG \
FAMR POLYCAT DPOLCAT QUAGG SKAGG DQAGG DVARCAT XF FAXF \
FDIVCAT FFCAT FILECAT FINGEN FINGRP MAGMA MORECAT NARNG \
NAALG FINAALG LIECAT FLALG \
@@ -368,7 +368,7 @@
SETAGG SETCAT SMATCAT SPTCAT SRAGG STAGG TBAGG TENSPC TRANFUN \
TRIGCAT TSEREXP TSETCAT UFD \
ULSCAT ULSCCAT UPOLYC UPSCAT UPXSCCA URAGG \
- UTSCAT VECTCAT VSPACE XF
+ UTSCAT VECTCAT XF

EXTRASPADS=BPADIC BPADICRT COMMONOP GALUTIL MKFLCFN PADIC PADICRAT \
SET WFFINTBS XPBWPOLY

Modified: trunk/src/algebra/catdef.spad
===================================================================
--- trunk/src/algebra/catdef.spad 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/catdef.spad 2020-03-09 12:09:12 UTC (rev 2643)
@@ -1518,25 +1518,6 @@

prime? x == numberOfFactors factor x = 1

-)abbrev category VSPACE VectorSpace
-++ Author:
-++ Basic Functions:
-++ Related Constructors:
-++ Also See:
-++ AMS Classifications:
-++ Keywords:
-++ References:
-++ Description:
-++ Vector Spaces (not necessarily finite dimensional) over a field.
-
-VectorSpace(S : Field) : Category == Module(S) with
- "/" : (%, S) -> %
- ++ x/y divides the vector x by the scalar y.
- dimension : () -> CardinalNumber
- ++ dimension() returns the dimensionality of the vector space.
- add
- (v : % / s : S) : % == inv(s) * v
-
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--All rights reserved.
--

Modified: trunk/src/algebra/equation1.spad
===================================================================
--- trunk/src/algebra/equation1.spad 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/equation1.spad 2020-03-09 12:09:12 UTC (rev 2643)
@@ -144,7 +144,6 @@
if S has PartialDifferentialRing(Symbol) then
PartialDifferentialRing(Symbol)
if S has Field then
- VectorSpace(S)
"/": (%, %) -> %
++ e1/e2 produces a new equation by dividing the left and right
++ hand sides of equations e1 and e2.
@@ -247,7 +246,6 @@
differentiate(eq : %, sym : Symbol) : % ==
[differentiate(lhs eq, sym), differentiate(rhs eq, sym)]
if S has Field then
- dimension() == 2 :: CardinalNumber
eq1 : % / eq2 : % == eq1.lhs / eq2.lhs = eq1.rhs / eq2.rhs
inv eq == [inv lhs eq, inv rhs eq]
if S has ExpressionSpace then

Modified: trunk/src/algebra/ffcat.spad
===================================================================
--- trunk/src/algebra/ffcat.spad 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/ffcat.spad 2020-03-09 12:09:12 UTC (rev 2643)
@@ -45,7 +45,8 @@
++ Description:
++ ExtensionField {\em F} is the category of fields which extend
++ the field F
-ExtensionField(F : Field) : Category == Join(Field, RetractableTo F, VectorSpace F) with
+ExtensionField(F : Field) : Category ==
+ Join(Field, RetractableTo F, Module F) with
if F has CharacteristicZero then CharacteristicZero
if F has CharacteristicNonZero then FieldOfPrimeCharacteristic
algebraic? : % -> Boolean
@@ -67,6 +68,8 @@
transcendenceDegree : () -> NonNegativeInteger
++ transcendenceDegree() returns the transcendence degree of the
++ field extension, 0 if the extension is algebraic.
+ "/" : (%, F) -> %
+ ++ x/y divides x by the scalar y.
-- perhaps more absolute degree functions
if F has Finite then
FieldOfPrimeCharacteristic
@@ -242,7 +245,6 @@
a := a+(v.i)*(b.i)
a
transcendenceDegree() == 0$NNI
- dimension() == (#basis()) ::NonNegativeInteger::CardinalNumber
extensionDegree() : OnePointCompletion(PositiveInteger) ==
(#basis()) :: PositiveInteger::OnePointCompletion(PositiveInteger)
degree(a) : OnePointCompletion(PositiveInteger) ==

Modified: trunk/src/algebra/matrix.spad
===================================================================
--- trunk/src/algebra/matrix.spad 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/matrix.spad 2020-03-09 12:09:12 UTC (rev 2643)
@@ -248,8 +248,6 @@
Exports ==> Join(RectangularMatrixCategory(m, n, R, Row, Col), _
CoercibleTo Matrix R) with

- if R has Field then VectorSpace R
-
if R has ConvertibleTo InputForm then ConvertibleTo InputForm

rectangularMatrix : Matrix R -> %
@@ -307,10 +305,6 @@
nullSpace x ==
[directProduct c for c in nullSpace(x pretend Matrix(R))]

- if R has Field then
-
- dimension() == (m * n) :: CardinalNumber
-
if R has ConvertibleTo InputForm then
convert(x : %) : InputForm ==
convert [convert('rectangularMatrix)@InputForm,

Modified: trunk/src/algebra/vector.spad
===================================================================
--- trunk/src/algebra/vector.spad 2020-03-08 15:19:53 UTC (rev 2642)
+++ trunk/src/algebra/vector.spad 2020-03-09 12:09:12 UTC (rev 2643)
@@ -294,7 +294,6 @@
if R has OrderedSet then OrderedSet
if R has OrderedAbelianMonoid then OrderedAbelianMonoid
if R has OrderedAbelianMonoidSup then OrderedAbelianMonoidSup
- if R has Field then VectorSpace R
add
if R has Ring then
equation2R : Vector % -> Matrix R
@@ -323,10 +322,6 @@
column(rh, minColIndex rh)
[reducedSystem(m)@Matrix(R), vh]

- if R has Field then
- x / b == x * inv b
- dimension() == dim::CardinalNumber
-
if R has Finite then
size() == size()$R ^ dim


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.