![]() |
My Project
|
#include <cmath>
#include "misc/auxiliary.h"
#include "misc/mylimits.h"
#include "misc/options.h"
#include "misc/int64vec.h"
#include "coeffs/numbers.h"
#include "coeffs/coeffs.h"
#include "polys/monomials/p_polys.h"
#include "polys/simpleideals.h"
#include "polys/monomials/ring.h"
#include "polys/monomials/maps.h"
#include "polys/prCopy.h"
#include "polys/templates/p_Procs.h"
#include "polys/matpol.h"
#include "polys/nc/nc.h"
#include "polys/nc/sca.h"
#include "ext_fields/algext.h"
#include "ext_fields/transext.h"
#include <ctype.h>
Go to the source code of this file.
Macros | |
#define | BITS_PER_LONG 8*SIZEOF_LONG |
#define | MYTEST 0 |
#define | pFDeg_CASE(A) if(r->pFDeg == A) PrintS( "" #A "" ) |
#define | rOppVar(R, I) (rVar(R)+1-I) |
Typedefs | |
typedef char * | char_ptr |
Variables | |
VAR omBin | sip_sring_bin = omGetSpecBin(sizeof(ip_sring)) |
VAR omBin | char_ptr_bin = omGetSpecBin(sizeof(char_ptr)) |
static const char *const | ringorder_name [] |
VAR int | pDBsyzComp =0 |
#define BITS_PER_LONG 8*SIZEOF_LONG |
debug-print monomial poly/vector p, assuming that it lives in the ring R
Definition at line 4382 of file ring.cc.
TODO: rewrite somehow...
if m == var(i)/1 => return i,
Definition at line 5861 of file ring.cc.
Definition at line 5773 of file ring.cc.
Definition at line 5069 of file ring.cc.
makes sure that c/C ordering is last ordering
Definition at line 4726 of file ring.cc.
|
static |
Definition at line 4836 of file ring.cc.
Definition at line 4657 of file ring.cc.
Definition at line 4929 of file ring.cc.
Definition at line 4467 of file ring.cc.
makes sure that c/C ordering is last ordering and SyzIndex is first
Definition at line 4781 of file ring.cc.
Definition at line 4559 of file ring.cc.
Definition at line 4882 of file ring.cc.
Definition at line 4437 of file ring.cc.
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
Definition at line 649 of file ring.cc.
Definition at line 3884 of file ring.cc.
this needs to be called whenever a new ring is created: new fields in ring are created (like VarOffset), unless they already exist with force == 1, new fields are always created (overwritten), even if they exist
Definition at line 3466 of file ring.cc.
Definition at line 1423 of file ring.cc.
Definition at line 1566 of file ring.cc.
|
inlinestatic |
|
inlinestatic |
Definition at line 4425 of file ring.cc.
Definition at line 2054 of file ring.cc.
Definition at line 4154 of file ring.cc.
Definition at line 139 of file ring.cc.
ring rDefault | ( | const coeffs | cf, |
int | N, | ||
char ** | n, | ||
int | ord_size, | ||
rRingOrder_t * | ord, | ||
int * | block0, | ||
int * | block1, | ||
int ** | wvhdl, | ||
unsigned long | bitmask | ||
) |
Definition at line 103 of file ring.cc.
Definition at line 156 of file ring.cc.
unconditionally deletes fields in r
Definition at line 452 of file ring.cc.
returns TRUE, if r1 equals r2 FALSE, otherwise Equality is determined componentwise, if qr == 1, then qrideal equality is tested, as well
Definition at line 1748 of file ring.cc.
Definition at line 2586 of file ring.cc.
Finds p^th IS ordering, and returns its position in r->typ[] returns -1 if something went wrong! p - starts with 0!
return the position of the p^th IS block order block in r->typ[]...
Definition at line 5084 of file ring.cc.
return the max-comonent wchich has syzIndex i Assume: i<= syzIndex_limit
Definition at line 5242 of file ring.cc.
rOrderType_t rGetOrderType | ( | ring | r | ) |
Definition at line 1842 of file ring.cc.
Definition at line 4446 of file ring.cc.
Definition at line 5851 of file ring.cc.
returns TRUE, if simple lp or ls ordering
Definition at line 1921 of file ring.cc.
< How many induced ordering block do we have?
Definition at line 2714 of file ring.cc.
ring rModifyRing_Simple | ( | ring | r, |
BOOLEAN | ommit_degree, | ||
BOOLEAN | ommit_comp, | ||
unsigned long | exp_limit, | ||
BOOLEAN & | simple | ||
) |
Definition at line 3009 of file ring.cc.
construct Wp, C ring
Definition at line 2961 of file ring.cc.
|
inlinestatic |
Definition at line 4399 of file ring.cc.
|
inlinestatic |
Definition at line 4407 of file ring.cc.
|
static |
Definition at line 2472 of file ring.cc.
|
static |
Definition at line 2495 of file ring.cc.
|
static |
|
static |
Definition at line 2392 of file ring.cc.
|
static |
Definition at line 2446 of file ring.cc.
|
static |
Definition at line 2431 of file ring.cc.
|
static |
Definition at line 2215 of file ring.cc.
|
static |
Definition at line 2229 of file ring.cc.
|
static |
Definition at line 2243 of file ring.cc.
|
static |
Definition at line 2305 of file ring.cc.
|
static |
Definition at line 2329 of file ring.cc.
|
static |
Definition at line 2283 of file ring.cc.
Definition at line 5365 of file ring.cc.
Definition at line 3166 of file ring.cc.
Definition at line 2028 of file ring.cc.
Definition at line 2035 of file ring.cc.
Definition at line 2015 of file ring.cc.
Definition at line 2043 of file ring.cc.
BOOLEAN rOrder_is_DegOrdering | ( | const rRingOrder_t | order | ) |
BOOLEAN rOrder_is_WeightedOrdering | ( | rRingOrder_t | order | ) |
rRingOrder_t rOrderName | ( | char * | ordername | ) |
Definition at line 523 of file ring.cc.
K[x],"y" -> K[x,y] resp. K[y,x].
Definition at line 5882 of file ring.cc.
Definition at line 5326 of file ring.cc.
right-adjust r->VarOffset
returns TRUE, if r1 and r2 represents the monomials in the same way FALSE, otherwise this is an analogue to rEqual but not so strict
Definition at line 3193 of file ring.cc.
|
static |
Changes r by setting induced ordering parameters: limit and reference leading terms F belong to r, we will DO a copy! We will use it AS IS! returns true is everything was allright!
Definition at line 5116 of file ring.cc.
Definition at line 3400 of file ring.cc.
Definition at line 3096 of file ring.cc.
Definition at line 5170 of file ring.cc.
set r->VarL_Size, r->VarL_Offset, r->VarL_LowIndex
Definition at line 4059 of file ring.cc.
Definition at line 675 of file ring.cc.
Definition at line 1404 of file ring.cc.
returns -1 for not compatible, 1 for compatible (and sum) dp_dp:0: block ordering, 1: dp,dp, 2: aa(...),dp vartest: check for name conflicts
Definition at line 751 of file ring.cc.
Definition at line 3997 of file ring.cc.
Definition at line 227 of file ring.cc.
Definition at line 47 of file ring.cc.