Changeset fcae67 in git

Timestamp:

Jun 27, 1996, 1:34:25 PM (27 years ago)

Author:

Rüdiger Stobbe <stobbe@…>

Branches:

(u'spielwiese', 'a7324b6e0b44a1a8ed3fa4d9ca3e2ff210ddd52c')

Children:

1343d6d8811666ba39696828920b50fa6f00ded1

Parents:

af4c5612a18aeb436641ed03ae4ea4fb66c029dc

Message:

"New function dviremainder.
"


git-svn-id: file:///usr/local/Singular/svn/trunk@31 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

factory

Files:

• fac_util.cc (modified) (2 diffs)
• fac_util.h (modified) (3 diffs)

factory/fac_util.cc

@@ -1 +1 @@
 // emacs edit mode for this file is -*- C++ -*-
-// $Id: fac_util.cc,v 1.0 1996-05-17 10:59:46 stobbe Exp $
+// $Id: fac_util.cc,v 1.1 1996-06-27 11:34:24 stobbe Exp $
 
 /*
 $Log: not supported by cvs2svn $
+Revision 1.0  1996/05/17 10:59:46  stobbe
+Initial revision
+
 */
 
@@ -114 +117 @@
 }
 
+void
+divremainder( const CanonicalForm & f, const CanonicalForm & g, CanonicalForm & quot, CanonicalForm & rem, const modpk & pk )
+{
+    ASSERT( (f.inCoeffDomain() || f.isUnivariate()) && (g.inCoeffDomain() || g.isUnivariate()) && (f.inCoeffDomain() || g.inCoeffDomain() || f.mvar() == g.mvar()), "can not build remainder" );
+    if ( f.inCoeffDomain() )
+        if ( g.inCoeffDomain() ) {
+            divrem( f, g, quot, rem );
+            quot = pk( quot );
+            rem = pk( rem );
+        }
+        else {
+            quot = 0;
+            rem = pk( f );
+        }
+    else {
+        Variable x = f.mvar();
+        CanonicalForm invlcg = pk.inverse( g.lc() );
+        rem = f;
+        int degg = g.degree();
+        while ( rem.degree() >= degg ) {
+            quot += pk( lc( rem ) * invlcg ) * power( x, rem.degree() - degg );
+            rem = pk( rem - lc( rem ) * invlcg * g * power( x, rem.degree() - degg ) );
+        }
+    }
+}
+
 CanonicalForm
 mappksymmetric ( const CanonicalForm & f )

factory/fac_util.h

@@ -1 +1 @@
 // emacs edit mode for this file is -*- C++ -*-
-// $Id: fac_util.h,v 1.0 1996-05-17 10:59:40 stobbe Exp $
+// $Id: fac_util.h,v 1.1 1996-06-27 11:34:25 stobbe Exp $
 
 #ifndef INCL_FAC_UTIL_H
@@ -7 +7 @@
 /*
 $Log: not supported by cvs2svn $
+Revision 1.0  1996/05/17 10:59:40  stobbe
+Initial revision
+
 */
 
@@ -38 +41 @@
 CanonicalForm remainder( const CanonicalForm & f, const CanonicalForm & g, const modpk & pk );
 
+void divremainder( const CanonicalForm & f, const CanonicalForm & g, CanonicalForm & quot, CanonicalForm & rem, const modpk & pk );
+
 /*ENDPUBLIC*/