objcomplex.c 5.22 KB
Newer Older
1
2
3
4
5
6
#include <stdlib.h>
#include <assert.h>

#include "nlr.h"
#include "misc.h"
#include "mpconfig.h"
7
#include "qstr.h"
8
#include "obj.h"
9
#include "parsenum.h"
10
11
12
13
#include "runtime0.h"

#if MICROPY_ENABLE_FLOAT

14
15
16
17
#if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT
#include "formatfloat.h"
#endif

18
19
20
21
22
23
24
25
typedef struct _mp_obj_complex_t {
    mp_obj_base_t base;
    mp_float_t real;
    mp_float_t imag;
} mp_obj_complex_t;

mp_obj_t mp_obj_new_complex(mp_float_t real, mp_float_t imag);

26
STATIC void complex_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) {
27
    mp_obj_complex_t *o = o_in;
28
29
30
31
#if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT
    char buf[32];
    if (o->real == 0) {
        format_float(o->imag, buf, sizeof(buf), 'g', 6, '\0');
32
        print(env, "%sj", buf);
33
34
35
    } else {
        format_float(o->real, buf, sizeof(buf), 'g', 6, '\0');
        print(env, "(%s+", buf);
36
        format_float(o->imag, buf, sizeof(buf), 'g', 6, '\0');
37
38
39
        print(env, "%sj)", buf);
    }
#else
40
    if (o->real == 0) {
mux's avatar
mux committed
41
        print(env, "%.8gj",  (double) o->imag);
42
    } else {
mux's avatar
mux committed
43
        print(env, "(%.8g+%.8gj)", (double) o->real, (double) o->imag);
44
    }
45
#endif
46
47
}

48
STATIC mp_obj_t complex_make_new(mp_obj_t type_in, uint n_args, uint n_kw, const mp_obj_t *args) {
49
50
    // TODO check n_kw == 0

51
52
53
54
55
    switch (n_args) {
        case 0:
            return mp_obj_new_complex(0, 0);

        case 1:
56
57
58
59
60
61
62
            if (MP_OBJ_IS_STR(args[0])) {
                // a string, parse it
                uint l;
                const char *s = mp_obj_str_get_data(args[0], &l);
                return mp_parse_num_decimal(s, l, true, true);
            } else if (MP_OBJ_IS_TYPE(args[0], &mp_type_complex)) {
                // a complex, just return it
63
64
                return args[0];
            } else {
65
                // something else, try to cast it to a complex
66
67
68
                return mp_obj_new_complex(mp_obj_get_float(args[0]), 0);
            }

69
        case 2: {
70
            mp_float_t real, imag;
71
            if (MP_OBJ_IS_TYPE(args[0], &mp_type_complex)) {
72
                mp_obj_complex_get(args[0], &real, &imag);
73
            } else {
74
                real = mp_obj_get_float(args[0]);
75
76
                imag = 0;
            }
77
            if (MP_OBJ_IS_TYPE(args[1], &mp_type_complex)) {
78
                mp_float_t real2, imag2;
79
                mp_obj_complex_get(args[1], &real2, &imag2);
80
81
82
                real -= imag2;
                imag += real2;
            } else {
83
                imag += mp_obj_get_float(args[1]);
84
85
86
87
88
            }
            return mp_obj_new_complex(real, imag);
        }

        default:
89
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "complex takes at most 2 arguments, %d given", n_args));
90
91
92
    }
}

93
STATIC mp_obj_t complex_unary_op(int op, mp_obj_t o_in) {
94
95
    mp_obj_complex_t *o = o_in;
    switch (op) {
Damien George's avatar
Damien George committed
96
97
98
        case MP_UNARY_OP_BOOL: return MP_BOOL(o->real != 0 || o->imag != 0);
        case MP_UNARY_OP_POSITIVE: return o_in;
        case MP_UNARY_OP_NEGATIVE: return mp_obj_new_complex(-o->real, -o->imag);
99
100
101
102
        default: return MP_OBJ_NULL; // op not supported
    }
}

103
STATIC mp_obj_t complex_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
104
105
106
107
    mp_obj_complex_t *lhs = lhs_in;
    return mp_obj_complex_binary_op(op, lhs->real, lhs->imag, rhs_in);
}

108
const mp_obj_type_t mp_type_complex = {
109
    { &mp_type_type },
110
    .name = MP_QSTR_complex,
111
112
113
114
    .print = complex_print,
    .make_new = complex_make_new,
    .unary_op = complex_unary_op,
    .binary_op = complex_binary_op,
115
116
117
118
};

mp_obj_t mp_obj_new_complex(mp_float_t real, mp_float_t imag) {
    mp_obj_complex_t *o = m_new_obj(mp_obj_complex_t);
119
    o->base.type = &mp_type_complex;
120
121
122
123
124
125
    o->real = real;
    o->imag = imag;
    return o;
}

void mp_obj_complex_get(mp_obj_t self_in, mp_float_t *real, mp_float_t *imag) {
126
    assert(MP_OBJ_IS_TYPE(self_in, &mp_type_complex));
127
128
129
130
131
132
133
134
    mp_obj_complex_t *self = self_in;
    *real = self->real;
    *imag = self->imag;
}

mp_obj_t mp_obj_complex_binary_op(int op, mp_float_t lhs_real, mp_float_t lhs_imag, mp_obj_t rhs_in) {
    mp_float_t rhs_real, rhs_imag;
    mp_obj_get_complex(rhs_in, &rhs_real, &rhs_imag); // can be any type, this function will convert to float (if possible)
135
    switch (op) {
Damien George's avatar
Damien George committed
136
137
        case MP_BINARY_OP_ADD:
        case MP_BINARY_OP_INPLACE_ADD:
138
139
140
            lhs_real += rhs_real;
            lhs_imag += rhs_imag;
            break;
Damien George's avatar
Damien George committed
141
142
        case MP_BINARY_OP_SUBTRACT:
        case MP_BINARY_OP_INPLACE_SUBTRACT:
143
144
145
            lhs_real -= rhs_real;
            lhs_imag -= rhs_imag;
            break;
Damien George's avatar
Damien George committed
146
147
        case MP_BINARY_OP_MULTIPLY:
        case MP_BINARY_OP_INPLACE_MULTIPLY:
148
149
150
151
152
153
154
        {
            mp_float_t real = lhs_real * rhs_real - lhs_imag * rhs_imag;
            lhs_imag = lhs_real * rhs_imag + lhs_imag * rhs_real;
            lhs_real = real;
            break;
        }
        /* TODO floor(?) the value
Damien George's avatar
Damien George committed
155
156
        case MP_BINARY_OP_FLOOR_DIVIDE:
        case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE: val = lhs_val / rhs_val; break;
157
158
        */
        /* TODO
Damien George's avatar
Damien George committed
159
160
        case MP_BINARY_OP_TRUE_DIVIDE:
        case MP_BINARY_OP_INPLACE_TRUE_DIVIDE: val = lhs_val / rhs_val; break;
161
162
163
164
165
166
167
        */
        return NULL; // op not supported
    }
    return mp_obj_new_complex(lhs_real, lhs_imag);
}

#endif