Python tuple示例

示例#1

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'np': numpy_module,
    'arr': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(4)))),
}

示例#2

文件： 16-join-numpy-store.py 项目： helq/pytropos

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'c': pv.Top,
    '_': pv.Top,
    'a': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int()))),
    'nonexistent': PythonValue(BuiltinModule()),
    'b': PythonValue(Tuple((pv.int(2), pv.int()), size=(2, 2))),
}

示例#3

文件： 41-using-numpy-array-caveats-store.py 项目： helq/pytropos

from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np':
    numpy_module,
    'm':
    pv.Top,
    'n':
    pv.Top,
    '_':
    pv.tuple(),
    '__':
    pv.tuple(pv.int(1)),
    'a':
    pv.tuple(pv.int(2)),
    'b_':
    PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(3)))),
    'b':
    pv.tuple(pv.int(2), pv.int(3)),
    'c':
    pv.tuple(pv.int(2)),
    'd':
    pv.tuple(pv.int(2), pv.int(3)),
    # TODO(helq): fix np.array, 'e' should be the commented tuple below
    # 'e': PythonValue(Tuple([pv.int(2)], size=(1,3))),  # THIS IS THE RIGHT ANSWER
    'e':

示例#4

文件： 50-joining-arrays-store.py 项目： helq/pytropos

def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))

示例#5

文件： 43-numpy-broadcasting-store.py 项目： helq/pytropos

def to_pv_Tuple(*ints):
    return pv.tuple(*(pv.int(i) for i in ints))

示例#6

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'a': PythonValue(NdArray(pv.tuple(pv.int(12)))),
}

示例#7

文件： 45-np_ndims-store.py 项目： helq/pytropos

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'array': PythonValue(array),
    'zeros': PythonValue(zeros),
    'x': PythonValue(NdArray(pv.tuple(pv.int(3)))),
    'y': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(3), pv.int(4)))),
    'xn': pv.int(1),
    'yn': pv.int(3),
}

示例#8

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'np': numpy_module,
    'arr': PythonValue(NdArray(pv.tuple())),
}

示例#9

文件： 54-some-numpy-ufuncs-store.py 项目： helq/pytropos

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1


def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))


def list_int(*lst):
    return pv.list([pv.int(i) for i in lst])


store = {
    'np': numpy_module,
    'lst': pv.list([list_int(1, 3, 4), list_int(2, 8, 9)]),
    'a': pv.int(6),
    'a_': pv.int(6),
    'b': pv.tuple(pv.int(2), pv.int(3)),
    'b_': pv.tuple(pv.int(2), pv.int(3)),
    'c': pv.int(2),
    'c_': pv.int(2),
    'd': pv.Top,
    'd_': pv.Top,
}

示例#10

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

shape_l = pv.list([pv.int(i) for i in (2, 5, 8, 11, 14, 17, 20, 23, 26, 29)])
shape = pv.tuple(*[pv.int(i) for i in (2, 5, 8, 11, 14, 17, 20, 23, 26, 29)])

store = {
    'np': numpy_module,
    'shape': shape_l,
    'i': pv.int(10),
    'newarray': PythonValue(NdArray(shape)),
}

示例#11

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'a': PythonValue(NdArray(pv.tuple(pv.int(1)))),
    'b': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(2)))),
    'c': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(2)))),
    '_': pv.Top,
}

示例#12

文件： 33-numpy-join-initialising-w-list-store.py 项目： helq/pytropos

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

t = pv.tuple(pv.int(2), pv.int())

store = {
  'np': numpy_module,
  'nonexistent': PythonValue(BuiltinModule()),
  'a': PythonValue(NdArray(t)),
  'b': t,
  'c': pv.Top,
  '_': pv.Top,
}

示例#13

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT

exitcode = 1

store = {
    'a': pv.list([pv.int(2), pv.float(3.0),
                  pv.tuple()]),
}