| 1 | /**************************************** |
|---|
| 2 | * Computer Algebra System SINGULAR * |
|---|
| 3 | ****************************************/ |
|---|
| 4 | /* $Id: mpsr_Get.h,v 1.12 2002-03-07 18:45:52 Singular Exp $ */ |
|---|
| 5 | /*************************************************************** |
|---|
| 6 | * |
|---|
| 7 | * File: mpsr_Get.h |
|---|
| 8 | * Purpose: declarations for all the Get routines |
|---|
| 9 | * Author: Olaf Bachmann (10/95) |
|---|
| 10 | * |
|---|
| 11 | * Change History (most recent first): |
|---|
| 12 | * |
|---|
| 13 | ***************************************************************/ |
|---|
| 14 | #ifdef HAVE_MPSR |
|---|
| 15 | |
|---|
| 16 | #ifndef __MPSR_GET__ |
|---|
| 17 | #define __MPSR_GET__ |
|---|
| 18 | |
|---|
| 19 | #include "numbers.h" |
|---|
| 20 | #include "polys.h" |
|---|
| 21 | #include "febase.h" |
|---|
| 22 | #include "ipid.h" |
|---|
| 23 | |
|---|
| 24 | #include"mpsr.h" |
|---|
| 25 | |
|---|
| 26 | |
|---|
| 27 | |
|---|
| 28 | /*************************************************************** |
|---|
| 29 | * |
|---|
| 30 | * Get-specific data structures |
|---|
| 31 | * |
|---|
| 32 | ***************************************************************/ |
|---|
| 33 | |
|---|
| 34 | // the data structure which functions as external data |
|---|
| 35 | typedef struct mpsr_sleftv |
|---|
| 36 | { |
|---|
| 37 | leftv lv; |
|---|
| 38 | ring r; |
|---|
| 39 | } mpsr_sleftv; |
|---|
| 40 | |
|---|
| 41 | typedef mpsr_sleftv * mpsr_leftv; |
|---|
| 42 | |
|---|
| 43 | /*************************************************************** |
|---|
| 44 | * |
|---|
| 45 | * prototypes |
|---|
| 46 | * |
|---|
| 47 | ***************************************************************/ |
|---|
| 48 | // from mpsr_GetMisc.cc |
|---|
| 49 | extern int mpsr_rDefault(short ch, char *name, ring &r); |
|---|
| 50 | extern ring mpsr_rDefault(short ch); |
|---|
| 51 | extern mpsr_Status_t mpsr_MergeLeftv(mpsr_leftv mlv1, mpsr_leftv mlv2); |
|---|
| 52 | extern void mpsr_MapLeftv(leftv l, ring from_ring, ring to_ring); |
|---|
| 53 | extern void mpsr_SetCurrRingHdl(mpsr_leftv mlv); |
|---|
| 54 | extern idhdl mpsr_FindIdhdl(char *name, ring &r); |
|---|
| 55 | |
|---|
| 56 | // from mpsr_GetPoly.cc |
|---|
| 57 | extern mpsr_Status_t mpsr_GetRingAnnots(MPT_Node_pt node, ring &r, |
|---|
| 58 | BOOLEAN &mv, BOOLEAN &IsUnOrdered); |
|---|
| 59 | extern mpsr_Status_t mpsr_GetPoly(MP_Link_pt link, poly &p, MP_Uint32_t nmon, |
|---|
| 60 | ring cring); |
|---|
| 61 | extern mpsr_Status_t mpsr_GetPolyVector(MP_Link_pt link, poly &p, |
|---|
| 62 | MP_Uint32_t nmon, ring cring); |
|---|
| 63 | extern mpsr_Status_t mpsr_rSetOrdSgn(ring r); |
|---|
| 64 | |
|---|
| 65 | // from mpsr_Get.cc |
|---|
| 66 | extern mpsr_Status_t mpsr_GetLeftv(MP_Link_pt link, mpsr_leftv mlv, short quote); |
|---|
| 67 | |
|---|
| 68 | extern mpsr_Status_t mpsr_GetCommonOperatorLeftv(MP_Link_pt link, |
|---|
| 69 | MPT_Node_pt node, |
|---|
| 70 | mpsr_leftv mlv, |
|---|
| 71 | short quote); |
|---|
| 72 | extern mpsr_Status_t mpsr_GetOperatorLeftv(MP_Link_pt link, |
|---|
| 73 | MPT_Node_pt node, |
|---|
| 74 | mpsr_leftv mlv, |
|---|
| 75 | short quote); |
|---|
| 76 | extern MPT_Status_t mpsr_GetExternalData(MP_Link_pt link, |
|---|
| 77 | MPT_Arg_t *odata, |
|---|
| 78 | MPT_Node_pt node); |
|---|
| 79 | |
|---|
| 80 | |
|---|
| 81 | /*************************************************************** |
|---|
| 82 | * |
|---|
| 83 | * inlines |
|---|
| 84 | * |
|---|
| 85 | ***************************************************************/ |
|---|
| 86 | inline BOOLEAN NodeCheck(MPT_Node_pt node, MP_NodeType_t type, |
|---|
| 87 | MP_DictTag_t dtag, MP_Common_t cv) |
|---|
| 88 | { |
|---|
| 89 | mpsr_assume(node != NULL); |
|---|
| 90 | return |
|---|
| 91 | node->type == type && |
|---|
| 92 | MP_COMMON_T(node->nvalue) == cv && |
|---|
| 93 | node->dict == dtag; |
|---|
| 94 | } |
|---|
| 95 | |
|---|
| 96 | inline BOOLEAN NodeCheck(MPT_Node_pt node, MP_DictTag_t dtag, MP_Common_t cv) |
|---|
| 97 | { |
|---|
| 98 | mpsr_assume(node != NULL); |
|---|
| 99 | return |
|---|
| 100 | MP_COMMON_T(node->nvalue) == cv && |
|---|
| 101 | node->dict == dtag; |
|---|
| 102 | } |
|---|
| 103 | |
|---|
| 104 | |
|---|
| 105 | inline idhdl mpsr_InitIdhdl(short tok, void *data, char *name) |
|---|
| 106 | { |
|---|
| 107 | idhdl h = (idhdl) omAlloc0Bin(idrec_bin); |
|---|
| 108 | IDID(h) = omStrDup(name); |
|---|
| 109 | IDTYP(h) = tok; |
|---|
| 110 | IDDATA(h) = (char *) data; |
|---|
| 111 | |
|---|
| 112 | return h; |
|---|
| 113 | } |
|---|
| 114 | |
|---|
| 115 | |
|---|
| 116 | #endif |
|---|
| 117 | #endif |
|---|
