mocha's profile - activity

overview network karma followed questions activity

2022-04-12 19:29:04 +0200	received badge	● Popular Question (source)
2021-04-10 19:23:15 +0200	received badge	● Enlightened (source)
2021-04-10 19:23:15 +0200	received badge	● Good Answer (source)
2020-12-01 21:48:25 +0200	received badge	● Nice Answer (source)
2020-12-01 21:25:22 +0200	received badge	● Teacher (source)
2020-12-01 20:27:48 +0200	answered a question	What is the "shell console?" the shell is simply the command prompt window where you type commands (technically this not the definition of shell it's just an explanation of what is does). For example you can achieve this by looking for "command prompt" under the start menu. You can simply install sage on Windows by getting the suitable binary for Windows https://www.sagemath.org/download.html after installing this, you will find 3 new programs added to your start menu " sageMath 9.2", "sageMath 9.2 Shell" and "sageMath 9.2 Notebook"
2020-12-01 20:17:50 +0200	commented question	use type signature in functions for matrix and vector Sorry for the duplicate, I got a message that my first post was flagged as spam, so I thought It didn't pass trough. I removed the other post. Thanks a lot for your reply. This is actually what I have done but I was looking for a shorter syntax. For example for the type "sage.rings.integer.Integer" it's enough to use "int" so I was wondering if there is a similarly short way to achieve this for matrix and vector types.
2020-12-01 05:21:59 +0200	received badge	● Student (source)
2020-12-01 05:15:02 +0200	asked a question	use type signature in functions for matrix and vector Hi, I'm trying to create a function that takes a vector and a matrix. I want to explicitly used typed variables but I'm not sure what to type for the types matrix and vector. Example with : `fun(i:int): return 0` So what is the equivalent for this with `func(M, V)`? I tried `func(M: matrix, V :vector)` and `func(M: sage.matrix, V :sage.vector)` but both gave : "name 'matrix' is not defined" Thanks in advance