Resultados de la búsqueda a petición "vector"

2 la respuesta

¿Qué biblioteca de vectores usar en coq?

Me pregunto, ¿hay una biblioteca comúnmente utilizada para vectores en coq, es decir? listas indexadas por su longitud en su tipo. Algunos tutoriales hacen referencia a Bvector, pero no se encuentra cuando intento importarlo. Hay ...

1 la respuesta

¿Por qué este programa parece no fusionarse correctamente?

Sospeché que un programa dado no se estaba fusionando como lo haría e hice esta prueba para confirmar: module Main where import qualified Data.Vector.Unboxed as V main :: IO () main = do let size = 100000000 :: Int let array = V.replicate size 0 ...

3 la respuesta

¿Por qué no presionar / hacer estallar frente al vector?

En C ++, STL, tenemos clase de plantilla<vector>. Sabemos que es compatibleO(1) acceso aleatorio y modificación de cola. Mi pregunta es por qué no definimos push_front o pop_front en<vector>? Una explicación es que si queremos empujar / hacer ...

1 la respuesta

¿Cómo puedo declarar un vector miembro de la misma clase?

¿Por qué demonios funciona el siguiente código? struct A { std::vector<A> subAs; };A es un tipo incompleto, ¿verdad? Si hubiera un vector de A * s lo entendería. Pero aquí no entiendo cómo funciona. Parece ser una definición recursiva.

3 la respuesta

vector <char> VS vector <bool> en C ++ 11 [cerrado]

¿Por qué deberíamos usarvector<char> en lugar devector<bool>? ¿Cuál es la razón por la quevector<char> ¿es más rápido?

2 la respuesta

Agregando 2 Listas Int Juntos F #

Estoy trabajando en la tarea y el problema es donde obtenemos 2 listas int del mismo tamaño, y luego sumamos los números. Ejemplo como sigue. vecadd [1;2;3] [4;5;6];; would return [5;7;9]Soy nuevo en esto y necesito mantener mi código bastante ...

1 la respuesta

¿Cómo hacer productos internos de vectores de matriz para cada par por separado en Python?

Digamos que tengo un montón de matrices As y vectores bs. As = array([[[1, 7], [3, 8]], [[2, 1], [5, 9]], [[7, 2], [8, 3]]]) bs = array([[8, 0], [8, 8], [7, 3]])Cuando hago np.inner (As, bs), obtengo: array([[[ 8, 64, 28], [ 24, 88, 45]], [[ ...

2 la respuesta

Cómo convertir coordenadas de velocidad esféricas en cartesianas

Tengo un vector de velocidad en altitud, longitud, altitud, me gustaría convertirlo a coordenadas cartesianas, vx, vy, vz. El formato es del estándar WGS84. aqui esta la ...

2 la respuesta

Detección de colisión entre 2 objetos en movimiento "linealmente" en WGS84

[Reedición completa de Spektre] basada en comentarios Tengo dos puntos de inicio y vectores de velocidad en 3D (WGS84), ¿cómo verificaría si están colisionando en 3D dentro de un tiempo específico? Entrada de muestra: // WGS84 objects ...

1 la respuesta

La mejor manera de concatenar vectores en Rust

¿Es posible concatenar vectores en Rust? Si es así, ¿hay una manera elegante de hacerlo? Tengo algo como esto: let mut a = vec![1, 2, 3]; let b = vec![4, 5, 6]; for val in &b { a.push(val); } ¿Alguien sabe de una mejor manera?