[6ae4f5] | 1 | /**************************************** |
---|
| 2 | * Computer Algebra System SINGULAR * |
---|
| 3 | ****************************************/ |
---|
[341696] | 4 | /* $Id$ */ |
---|
[0e1846] | 5 | /*************************************************************** |
---|
| 6 | * |
---|
| 7 | * File: mpsr_Put.h |
---|
| 8 | * Purpose: declarations for put routines for MP connection to Singular |
---|
| 9 | * Author: Olaf Bachmann (10/95) |
---|
| 10 | * |
---|
| 11 | * Change History (most recent first): |
---|
| 12 | * o 1/97 obachman |
---|
[e9ad8a6] | 13 | * Updated putting routines to MP and MPP v1.1 |
---|
[0e1846] | 14 | * |
---|
| 15 | ***************************************************************/ |
---|
| 16 | |
---|
| 17 | #ifndef __MPSR_PUT__ |
---|
| 18 | #define __MPSR_PUT__ |
---|
| 19 | |
---|
| 20 | #include"mpsr.h" |
---|
| 21 | |
---|
[237b3e4] | 22 | #include <kernel/structs.h> |
---|
[7716999] | 23 | #include"kernel/febase.h" |
---|
[0e1846] | 24 | #include"tok.h" |
---|
| 25 | #include"ipid.h" |
---|
| 26 | |
---|
| 27 | /*************************************************************** |
---|
| 28 | * 1.) Some handy macros |
---|
| 29 | * |
---|
| 30 | ***************************************************************/ |
---|
[e9ad8a6] | 31 | // some often used flags settings for annotations |
---|
[5615cd9] | 32 | #define MP_AnnotReqValTree \ |
---|
| 33 | (MP_AnnotRequired | MP_AnnotValuated | MP_AnnotTreeScope) |
---|
| 34 | |
---|
| 35 | #define MP_AnnotReqValNode \ |
---|
| 36 | (MP_AnnotRequired | MP_AnnotValuated) |
---|
| 37 | |
---|
[0e1846] | 38 | |
---|
| 39 | /*************************************************************** |
---|
| 40 | * |
---|
| 41 | * There are 4 different layers on which things are put: |
---|
| 42 | * 1.) Singular Top-level Data (chains of leftv's) |
---|
| 43 | * 2.) Leftv Data |
---|
| 44 | * 3.) Plain Singular data |
---|
| 45 | * 4.) MP primitive polynomial data |
---|
| 46 | * |
---|
| 47 | ***************************************************************/ |
---|
| 48 | |
---|
| 49 | /*************************************************************** |
---|
| 50 | * 4.) Low-level polynomial data -- they should only be used internally |
---|
| 51 | * |
---|
| 52 | ***************************************************************/ |
---|
| 53 | extern mpsr_Status_t mpsr_PutPolyData(MP_Link_pt link, poly p, ring cring); |
---|
| 54 | extern mpsr_Status_t mpsr_PutPolyVectorData(MP_Link_pt link, poly p,ring cring); |
---|
| 55 | extern int mpsr_GetNumOfRingAnnots(ring cring, BOOLEAN mv); |
---|
| 56 | extern mpsr_Status_t mpsr_PutRingAnnots(MP_Link_pt link, ring cring,BOOLEAN mv); |
---|
| 57 | |
---|
| 58 | /*************************************************************** |
---|
| 59 | * 3.) Routines for Putting Plain Singular data |
---|
| 60 | * |
---|
| 61 | ***************************************************************/ |
---|
| 62 | // First, ring-independent data |
---|
| 63 | inline mpsr_Status_t mpsr_PutInt(MP_Link_pt link, int i) |
---|
| 64 | { |
---|
| 65 | mp_return(MP_PutSint32Packet(link, (MP_Sint32_t) i, 0)); |
---|
| 66 | } |
---|
| 67 | extern mpsr_Status_t mpsr_PutIntVec(MP_Link_pt link, intvec *iv); |
---|
| 68 | extern mpsr_Status_t mpsr_PutIntMat(MP_Link_pt link, intvec *iv); |
---|
| 69 | inline mpsr_Status_t mpsr_PutString(MP_Link_pt link, char *str) |
---|
| 70 | { |
---|
[feaddd] | 71 | if (strcmp(str, MPSR_QUIT_STRING) == 0) |
---|
| 72 | mp_return(MP_PutCommonOperatorPacket(link, |
---|
| 73 | MP_MpDict, |
---|
| 74 | MP_CopMpEndSession, |
---|
| 75 | 0, 0)); |
---|
| 76 | else |
---|
| 77 | mp_return(MP_PutStringPacket(link, str, 0)); |
---|
[0e1846] | 78 | } |
---|
| 79 | extern mpsr_Status_t mpsr_PutRing(MP_Link_pt link, ring r); |
---|
[85e68dd] | 80 | extern mpsr_Status_t mpsr_PutProc(MP_Link_pt link, const char *pname,procinfov proc); |
---|
[fff984] | 81 | extern mpsr_Status_t mpsr_PutPackage(MP_Link_pt link, package pack); |
---|
[0e1846] | 82 | inline mpsr_Status_t mpsr_PutDef(MP_Link_pt link, char *name) |
---|
| 83 | { |
---|
[feaddd] | 84 | mp_return(MP_PutIdentifierPacket(link, MP_SingularDict, name, 0)); |
---|
[0e1846] | 85 | } |
---|
| 86 | // next, ring-dependent data |
---|
| 87 | extern mpsr_Status_t mpsr_PutList(MP_Link_pt link, lists l, ring cring); |
---|
| 88 | extern mpsr_Status_t mpsr_PutCopCommand(MP_Link_pt link, command c, ring cring); |
---|
| 89 | extern mpsr_Status_t mpsr_PutOpCommand(MP_Link_pt link, command c, ring cring); |
---|
| 90 | extern mpsr_Status_t mpsr_PutNumber(MP_Link_pt link,number n,ring cring); |
---|
| 91 | extern mpsr_Status_t mpsr_PutPoly(MP_Link_pt link,poly p,ring cring); |
---|
| 92 | extern mpsr_Status_t mpsr_PutPolyVector(MP_Link_pt link,poly p,ring cring); |
---|
| 93 | extern mpsr_Status_t mpsr_PutIdeal(MP_Link_pt link, ideal id, ring cring); |
---|
| 94 | extern mpsr_Status_t mpsr_PutModule(MP_Link_pt link, ideal id, ring cring); |
---|
| 95 | extern mpsr_Status_t mpsr_PutMatrix(MP_Link_pt link, ideal id, ring cring); |
---|
| 96 | extern mpsr_Status_t mpsr_PutMap(MP_Link_pt link, map m, ring cring); |
---|
| 97 | |
---|
| 98 | |
---|
| 99 | |
---|
| 100 | /*************************************************************** |
---|
| 101 | * 2.) Routines for Putting Singular Leftv's |
---|
| 102 | * |
---|
| 103 | * |
---|
| 104 | ***************************************************************/ |
---|
| 105 | // The "Master routine, which takes any leftv, and calls the respective |
---|
| 106 | // Put routine |
---|
| 107 | extern mpsr_Status_t mpsr_PutLeftv(MP_Link_pt link, leftv v, ring cring); |
---|
| 108 | |
---|
| 109 | // A handy macro which checks for the type of leftvs |
---|
| 110 | #ifdef MPSR_DEBUG |
---|
| 111 | #define typecheck(v,type) \ |
---|
| 112 | do if ((v)->Typ() != (type)) \ |
---|
| 113 | { \ |
---|
| 114 | return mpsr_SetError(mpsr_WrongLeftvType); \ |
---|
| 115 | } \ |
---|
| 116 | while (0) |
---|
| 117 | #else |
---|
| 118 | #define typecheck(v,type) ((void) 0) |
---|
| 119 | #endif |
---|
| 120 | |
---|
| 121 | // First, ring-independent data |
---|
| 122 | inline mpsr_Status_t mpsr_PutIntLeftv(MP_Link_pt link, leftv v) |
---|
| 123 | { |
---|
| 124 | typecheck(v, INT_CMD); |
---|
| 125 | mp_return(MP_PutSint32Packet(link, (MP_Sint32_t) v->Data(), 0)); |
---|
| 126 | } |
---|
| 127 | inline mpsr_Status_t mpsr_PutIntVecLeftv(MP_Link_pt link, leftv v) |
---|
| 128 | { |
---|
| 129 | typecheck(v, INTVEC_CMD); |
---|
| 130 | return mpsr_PutIntVec(link, (intvec *) v->Data()); |
---|
| 131 | } |
---|
| 132 | inline mpsr_Status_t mpsr_PutIntMatLeftv(MP_Link_pt link, leftv v) |
---|
| 133 | { |
---|
| 134 | typecheck(v, INTMAT_CMD); |
---|
| 135 | return mpsr_PutIntMat(link, (intvec *) v->Data()); |
---|
| 136 | } |
---|
| 137 | inline mpsr_Status_t mpsr_PutStringLeftv(MP_Link_pt link, leftv v) |
---|
| 138 | { |
---|
| 139 | typecheck(v, STRING_CMD); |
---|
| 140 | return mpsr_PutString(link, (char *) v->Data()); |
---|
| 141 | } |
---|
| 142 | inline mpsr_Status_t mpsr_PutRingLeftv(MP_Link_pt link, leftv v) |
---|
| 143 | { |
---|
| 144 | typecheck(v, RING_CMD); |
---|
| 145 | return mpsr_PutRing(link, (ring) v->Data()); |
---|
| 146 | } |
---|
| 147 | inline mpsr_Status_t mpsr_PutQRingLeftv(MP_Link_pt link, leftv v) |
---|
| 148 | { |
---|
| 149 | typecheck(v, QRING_CMD); |
---|
| 150 | return mpsr_PutRing(link, (ring) v->Data()); |
---|
| 151 | } |
---|
| 152 | inline mpsr_Status_t mpsr_PutProcLeftv(MP_Link_pt link, leftv v) |
---|
| 153 | { |
---|
| 154 | typecheck(v, PROC_CMD); |
---|
[2ba9a6] | 155 | return mpsr_PutProc(link, v->name, (procinfov) v->Data()); |
---|
[0e1846] | 156 | } |
---|
| 157 | inline mpsr_Status_t mpsr_PutDefLeftv(MP_Link_pt link, leftv v) |
---|
| 158 | { |
---|
| 159 | typecheck(v, DEF_CMD); |
---|
| 160 | return mpsr_PutDef(link, (char *) v->name); |
---|
| 161 | } |
---|
| 162 | // now the ring-dependent leftv's |
---|
| 163 | inline mpsr_Status_t mpsr_PutListLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 164 | { |
---|
| 165 | typecheck(v, LIST_CMD); |
---|
| 166 | return mpsr_PutList(link, (lists) v->Data(), cring); |
---|
| 167 | } |
---|
| 168 | inline mpsr_Status_t mpsr_PutCommandLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 169 | { |
---|
| 170 | command cmd = (command) v->Data(); |
---|
[e9ad8a6] | 171 | |
---|
[0e1846] | 172 | typecheck(v, COMMAND); |
---|
| 173 | if (cmd->op == PROC_CMD) |
---|
| 174 | return mpsr_PutOpCommand(link, cmd, cring); |
---|
| 175 | else |
---|
| 176 | return mpsr_PutCopCommand(link, cmd , cring); |
---|
| 177 | } |
---|
| 178 | inline mpsr_Status_t mpsr_PutNumberLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 179 | { |
---|
| 180 | typecheck(v, NUMBER_CMD); |
---|
| 181 | return mpsr_PutNumber(link, (number) v->Data(), cring); |
---|
| 182 | } |
---|
| 183 | inline mpsr_Status_t mpsr_PutPolyLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 184 | { |
---|
| 185 | typecheck(v, POLY_CMD); |
---|
| 186 | return mpsr_PutPoly(link, (poly) v->Data(), cring); |
---|
| 187 | } |
---|
| 188 | inline mpsr_Status_t mpsr_PutIdealLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 189 | { |
---|
| 190 | typecheck(v, IDEAL_CMD); |
---|
| 191 | return mpsr_PutIdeal(link, (ideal) v->Data(), cring); |
---|
| 192 | } |
---|
| 193 | inline mpsr_Status_t mpsr_PutVectorLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 194 | { |
---|
| 195 | typecheck(v, VECTOR_CMD); |
---|
| 196 | return mpsr_PutPolyVector(link, (poly) v->Data(), cring); |
---|
| 197 | } |
---|
| 198 | inline mpsr_Status_t mpsr_PutMatrixLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 199 | { |
---|
| 200 | typecheck(v, MATRIX_CMD); |
---|
| 201 | return mpsr_PutMatrix(link, (ideal) v->Data(), cring); |
---|
| 202 | } |
---|
| 203 | inline mpsr_Status_t mpsr_PutModuleLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 204 | { |
---|
| 205 | typecheck(v, MODUL_CMD); |
---|
| 206 | return mpsr_PutModule(link, (ideal) v->Data(), cring); |
---|
| 207 | } |
---|
| 208 | inline mpsr_Status_t mpsr_PutMapLeftv(MP_Link_pt link, leftv v, ring cring) |
---|
| 209 | { |
---|
| 210 | typecheck(v, MAP_CMD); |
---|
| 211 | return mpsr_PutMap(link, (map) v->Data(), cring); |
---|
| 212 | } |
---|
[0a3ddd] | 213 | /* inline mpsr_Status_t mpsr_PutAliasLeftv(MP_Link_pt link, leftv v) */ |
---|
| 214 | /* { */ |
---|
| 215 | /* typecheck(v, ALIAS_CMD); */ |
---|
| 216 | /* return mpsr_PutAlias(link, v->name, (idhdl) v->Data()); */ |
---|
| 217 | /* } */ |
---|
| 218 | inline mpsr_Status_t mpsr_PutPackageLeftv(MP_Link_pt link, leftv v) |
---|
| 219 | { |
---|
| 220 | typecheck(v, PACKAGE_CMD); |
---|
[fff984] | 221 | return mpsr_PutPackage(link, (package) v->Data()); |
---|
[0a3ddd] | 222 | } |
---|
[0e1846] | 223 | |
---|
| 224 | /*************************************************************** |
---|
| 225 | * 1.) Singular Top-level Data (chains of leftv's) |
---|
| 226 | * They are send as on MP mesg |
---|
| 227 | * |
---|
| 228 | ***************************************************************/ |
---|
| 229 | extern mpsr_Status_t mpsr_PutMsg(MP_Link_pt l, leftv v); |
---|
| 230 | |
---|
| 231 | #endif |
---|