Changeset a389e2e in tol

Timestamp:

Nov 30, 2009, 8:24:19 AM (17 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

2f0a149

Parents:

b15f0f9

Message:

New functions to create sets from matrices

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@1746 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/stdlib/general/grammars/_set.tol (modified) (1 diff)

tol/stdlib/general/grammars/_set.tol

@@ -1347 +1347 @@
 
 
+//////////////////////////////////////////////////////////////////////////////
+Set Col2Set(Matrix M)
+//////////////////////////////////////////////////////////////////////////////
+{
+  MatSet(Tra(M))[1]
+};
+//////////////////////////////////////////////////////////////////////////////
+  PutDescription(I2(
+"Returns a set of real numbers with elements of a column vector",
+"Devuelve un conjunto de números reales con los elementos de un vector "
+"columna"),
+Col2Set); 
+//////////////////////////////////////////////////////////////////////////////
+
+//////////////////////////////////////////////////////////////////////////////
+Set Row2Set(VMatrix M)
+//////////////////////////////////////////////////////////////////////////////
+{
+  MatSet(M)[1]
+};
+//////////////////////////////////////////////////////////////////////////////
+  PutDescription(I2(
+"Returns a set of real numbers with elements of a row vector",
+"Devuelve un conjunto de números reales con los elementos de un vector "
+"fila"),
+Row2Set); 
+//////////////////////////////////////////////////////////////////////////////
+
+//////////////////////////////////////////////////////////////////////////////
+Set VCol2Set(VMatrix M)
+//////////////////////////////////////////////////////////////////////////////
+{
+  MatSet(VMat2Mat(M,1))[1]
+};
+//////////////////////////////////////////////////////////////////////////////
+  PutDescription(I2(
+"Returns a set of real numbers with elements of a column vector",
+"Devuelve un conjunto de números reales con los elementos de un vector "
+"columna"),
+VCol2Set); 
+//////////////////////////////////////////////////////////////////////////////
+
+//////////////////////////////////////////////////////////////////////////////
+Set VRow2Set(VMatrix M)
+//////////////////////////////////////////////////////////////////////////////
+{
+  MatSet(VMat2Mat(M,0))[1]
+};
+//////////////////////////////////////////////////////////////////////////////
+  PutDescription(I2(
+"Returns a set of real numbers with elements of a row vector",
+"Devuelve un conjunto de números reales con los elementos de un vector "
+"fila"),
+VRow2Set); 
+//////////////////////////////////////////////////////////////////////////////
+
+//////////////////////////////////////////////////////////////////////////////
+Set VMat2Set(VMatrix M)
+//////////////////////////////////////////////////////////////////////////////
+{
+  MatSet(VMat2Mat(M))
+};
+//////////////////////////////////////////////////////////////////////////////
+  PutDescription(I2(
+"Converts by rows a matrix in a set of sets of real numbers.",
+"Convierte por filas una matriz en un conjunto de conjuntos "
+"de reales."),
+VMat2Set); 
+//////////////////////////////////////////////////////////////////////////////