00:36
bonda_000 has quit [Quit: Leaving]
03:38
NeddySeagoon has quit [Server closed connection]
03:38
NeddySeagoon has joined ##raspberrypi-internals
07:18
inara has quit [Server closed connection]
07:22
inara has joined ##raspberrypi-internals
08:00
bonda_000 has joined ##raspberrypi-internals
09:31
<
bonda_000 >
so our components are somewhat something like this from Spivak's Calc on Manifolds
09:34
<
bonda_000 >
a wedge product of linear functionals such as dx. so we make them unique this way such as dx and dy are orthogonal in 2 and 3 and so forth space
09:34
wael has quit [Server closed connection]
09:34
wael has joined ##raspberrypi-internals
09:47
<
bonda_000 >
wedge product is just a tensor product with Alternator that preserves orientation so term dxdy will be with a positive sign but dydx must have a negative '-' sign
09:48
<
bonda_000 >
and these things if we write them as I just posted are tensors pretty much
11:20
bonda_000 has quit [Read error: Connection reset by peer]
12:59
waveform has quit [Server closed connection]
12:59
waveform has joined ##raspberrypi-internals
13:23
bonda_000 has joined ##raspberrypi-internals
13:56
bonda_000 has quit [Ping timeout: 252 seconds]
14:51
jn has quit [Server closed connection]
14:51
jn has joined ##raspberrypi-internals
14:51
jn has joined ##raspberrypi-internals
14:51
jn has quit [Changing host]
15:29
bonda_000 has joined ##raspberrypi-internals
16:47
Stromeko_ has joined ##raspberrypi-internals
16:47
Stromeko_ has quit [Client Quit]
16:48
Stromeko has quit [Ping timeout: 258 seconds]
16:48
Stromeko has joined ##raspberrypi-internals
17:50
bonda_000 has quit [Quit: Leaving]
17:50
bonda_000 has joined ##raspberrypi-internals
18:02
<
bonda_000 >
clever: that's 2000 logic cells out of 5200 that are present on a university educational board
18:03
<
bonda_000 >
if you need I have a simulator program I am using it is not cheap
18:04
<
bonda_000 >
for Linux but you need to run it in X11 not the other one
18:04
vriska has joined ##raspberrypi-internals
18:04
<
f_ridge >
<clever___/D> ive used iverilog in the past
18:05
<
bonda_000 >
clever: it supports both vhdl and verilog
18:05
<
bonda_000 >
I'm not familiar with verilog
19:27
f_[xmpp] has quit [Quit: Gateway shutdown]
20:58
<
bonda_000 >
and check what I just wrote:
21:25
f_ridge has quit [Ping timeout: 246 seconds]
21:25
f_ has quit [Ping timeout: 252 seconds]
21:34
f_ has joined ##raspberrypi-internals