Solve for integer and real number
In a project I'm doing I stumbled on a way to solve something, but I don't know how I can excecute it. For simplicity I will ask an easier question analogue to how I want to solve mine.
Lets say we have a list of vectors:
L = [vector([1,0,0]), vector([0,1,0]), vector([0,0,1])]
I want to solve which vector multiplied by a constant would give me the vector([6,0,0])
I tried something like this:
var('x')
var('i', domain = 'integer')
solve([x * L[i] == vector([6,0,0])], i, x)
but it gives error "unable to convert i to integer" even though I explicitly stated that i is an integer.
Can someone please help me?
Homework question?
No, I'm trying to find the distance I need to translate a 3-polytope in the 4th dimension, so that there if an overlap of a face of the original translated 3-polytope and a the translated 3-polytope rotated around 1 of its points. I don't know how the 3-polytope will rotate in the fourth dimension and thus which vectors will overlap, so I tried to put them into the equation.