Questions tagged [symbolic-computation]

Symbolic computation or algebraic computation or computer algebra relates to algorithms and software for manipulating mathematical expressions and equations in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols.

Symbolic computation or algebraic computation or computer algebra relates to algorithms and software for manipulating mathematical expressions and equations in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols.

See http://en.wikipedia.org/wiki/Symbolic_computation

83 questions
2
votes
1 answer

symbolic matrix multiplication by Ryacas

I define two matrices mat1 and mat2 in Sym class which is suitable for Ryacas symbolic computation: library(Ryacas) x <- Sym("x") mat1 <- List( List(x, 2), List(x^3, x)) and mat2 <- List( List(x, x), List(3, 6 * x)) now the question is how I can…
Ehsan Masoudi
  • 712
  • 10
  • 19
2
votes
1 answer

Modulo 2 arithmetics in SymPy

I'm working on transformation polynomial systems over GF(2^N) to GF(2). In a process of transformation I need to do lots of modulo 2 computations like summing and multiplying matrices. So is there way to sum and multiply matrices using modulo 2…
Tikhon Belousko
  • 767
  • 1
  • 9
  • 26
2
votes
1 answer

Sympy symbol and the cls parameter

I have seen f = sympy.symbols('f', cls=Function) but not any documentation. Python does not like x = sympy.symbols('x', cls=FF(8)), it complains about raise CoercionFailed("expected an integer, got %s" % a) CoercionFailed: expected an integer, got…
Johan
  • 575
  • 5
  • 21
2
votes
1 answer

subs(sinc(K), K, 0) where K is symbol will return NaN. Shouldn't it be 1?

MATLAB sinc(0) will return 1 as it should. But sinc(K) of some symbol K for which a value of zero is substituted will return NaN. The following code illustrates the above: sinc(0) % calculate sinc of 0, this will return 1 K = sym('K'); % define…
2
votes
2 answers

Symbolic inverse of a matrix in R

How can I find the symbolic inverse of a matrix in R; for example: Matrix.test <- function(x) matrix(c(x, x^2, x^3, x^4, x^5, x^6, x^7, x^8, x^9, 2*x, 3*x, 4*x, 2*x^2, 3*x^3, 4*x^4, 5*x^5), 4, 4) I Know there is a package called 'Ryacas' which is…
Ehsan Masoudi
  • 712
  • 10
  • 19
2
votes
1 answer

Matlab symbolic eigenvectors

I am trying to calculate the symbolic eigenvalues and vectors of matrices of the form [ a, c, 0] [ c, b, e] [ 0, e, f] in matlab (replace a,b,c etc with some expressions containing x, y, z). When I have 4 off diagonal terms 0 then the program is…
Sina
  • 401
  • 5
  • 12
2
votes
1 answer

klee with loops strange behaviour with similar code

I have a question about how is working KLEE (symbolic execution tool) in case of loops with symbolic parameters: int loop(int data) { int i, result=0; for (i=0;i
2
votes
2 answers

Defining and using mathematical functions in cython

I am new to python and struggling to get cython to speed up some of my calculations. I have tried every possible way i can think of but it seems that i don't yet understand something so i fail miserably to this. I have these files: The first one…
2
votes
3 answers

How do you install Symbolic C++ on Visual Studio 2010?

I have Symbolic C++ (the version that can integrate with V, there is no documentation on how to install it. I got it from this website and it has examples of how it work: http://issc.uj.ac.za/symbolic/symbolic.html Does anyone have any idea on how…
1
vote
1 answer

cannot open Singular on a running emacs

I am a newbies in Singular. I just downloaded Singular4-0-2_64.dmg, mounted the image, right-ckick, show the package contents, then moved the contents folder to the Applications directory. double-clicking Contents/MacOS/Singular (or Esingular) I…
1
vote
2 answers

5D tensor in Theano

I was wondering how to make a 5D tensor in Theano. Specifically, I tried dtensor = T.TensorType('float32', (False,)*5). However, the only issue is that dtensor.shapereturns: AttributeError: 'TensorType' object has no attribute 'shape' Whereas if I…
user19346
  • 303
  • 3
  • 9
1
vote
1 answer

Can symbolic execution tool KLEE run in parallel?

According to their paper (OSDI'08), symbolic execution tool KLEE needs about 1 hour to generate test cases for a single COREUTIL application. I am wondering if it can run in parallel?(say, multi-threaded on multicore or even GPU)?
JackWM
  • 10,085
  • 22
  • 65
  • 92
1
vote
0 answers

How to construct a subring of a polynomial ring in Magma

This question is about the computer algebra system Magma (not the linear algebra library), and is crossposted from scicomp.SE. Please forgive if this is off-topic; I am a regular user of the StackExchange network but this is my first post on…
1
vote
1 answer

Matlab Symbolic expression creates overflow

I am using Matlab symbolic toolbox to create a function of high complexity. This function is then written to a .m-file (using matlabFunction). For some reason, after simplifying the function, the function is returned on a form that looks like fun =…
Petter T
  • 3,387
  • 2
  • 19
  • 31
1
vote
1 answer

Create general symbolic array using MATLAB

I want to generate array or 1 x M matrix with variables such as (please note that sum goes from i=1 to m-1): Because I want to use Obj later as a general array depends on given M for some optimization purposes. I tried following code in MATLAB but…
Frey
  • 315
  • 4
  • 11