Changeset 92992c in git for dyn_modules

Timestamp:

Jul 10, 2012, 6:08:24 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4eba3ad2d6dfbd57121d3a026b973301857fa069

Parents:

7088f18ba4c47a3e87c604a59adbacd8ef35e979

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-10 18:08:24+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:45+02:00

Message:

moving/adding/changing bits of documentation

Location:

dyn_modules/syzextra

Files:

• mod_main.cc (modified) (4 diffs)
• syzextra.h (modified) (2 diffs)

dyn_modules/syzextra/mod_main.cc

@@ -684 +684 @@
 
 
-/// TODO: save shortcut (syz: |-.->) LM(LM(m) * "t") -> syz?
 /// proc SSFindReducer(def product, def syzterm, def L, def T, list #)
 static BOOLEAN _FindReducer(leftv res, leftv h)
@@ -888 +887 @@
 
 
-/// TODO: save shortcut (syz: |-.->) LM(m) * "t" -> ?
 /// proc SSReduceTerm(poly m, def t, def syzterm, def L, def T, list #)
 static BOOLEAN _ReduceTerm(leftv res, leftv h)
@@ -1033 +1031 @@
 
 
-// TODO: store m * @tail -.-^-.-^-.--> ?
 // proc SSTraverseTail(poly m, def @tail, def L, def T, list #)
 static BOOLEAN _TraverseTail(leftv res, leftv h)
@@ -1137 +1134 @@
 
 
-// module (N, LL, TT) = SSComputeSyzygy(L, T);
-// Compute Syz(L ++ T) = N = LL ++ TT
+/// module (LL, TT) = SSComputeSyzygy(L, T);
+/// Compute Syz(L ++ T) = N = LL ++ TT
 // proc SSComputeSyzygy(def L, def T)
 static BOOLEAN _ComputeSyzygy(leftv res, leftv h)

dyn_modules/syzextra/syzextra.h

@@ -47 +47 @@
 ideal id_Tail(const ideal id, const ring r);
 
-/// inplace sorting of the module (ideal) id wrt >_(c,ds)
+/// inplace sorting of the module (ideal) id wrt <_(c,ds)
 void Sort_c_ds(const ideal id, const ring r);
 
@@ -95 +95 @@
     void ComputeLeadingSyzygyTerms(bool bComputeSecondTerms = true);
 
+    // TODO: save shortcut (syz: |-.->) LM(LM(m) * "t") -> syz?
     poly FindReducer(poly product, poly syzterm);
+    
     poly SchreyerSyzygyNF(poly syz_lead, poly syz_2);
+
+    // TODO: store m * @tail -.-^-.-^-.--> ?
     poly TraverseTail(poly multiplier, poly tail);
+
+    // TODO: save shortcut (syz: |-.->) LM(m) * "t" -> ?
     poly ReduceTerm(poly multiplier, poly term4reduction, poly syztermCheck);