« first day (2564 days earlier)      last day (821 days later) » 

6:59 AM
1
Q: C++ basic bank money class

mathewsjoyyI am trying to create a basic money class that fits into a small console banking application I am making. Money.h #pragma once #include <string> class Money { private: long pounds; int pence; public: Money(); // Overloaded constructors explicit Money(long pounds); Money(...

 
 
4 hours later…
11:28 AM
6
Q: How can I use EVAL to pass arguments to subroutines?

StevieDI'm experimenting with Raku and trying to figure out how I might write a program with subcommands. When I run, ./this_program blah: #! /usr/bin/env raku use v6; sub MAIN($cmd, *@subcommands) { $cmd.EVAL; } sub blah() { say 'running blah'; }; I get running blah output. But this is as far as...

 
 
2 hours later…
12:58 PM
2
Q: Constructing the E-M category of a monad out of inserters and equifiers

Alec RheaAs suggested in the answer to another MO question, it seems possible to construct the E-M category of a monad $T:\mathcal{C}\to\mathcal{C}$ as an inserter followed by two equifiers as follows (I am having an issue at step 2, please see the diagram there and skip to the end if you would just like ...

 
 
9 hours later…
10:10 PM
6
Q: What's the mathematical reason behind Python choosing to round to negative infinity?

RickI know Python // rounds towards negative infinity and in C++ / is truncating, rounding towards 0. And here's what I know so far: -12 / 10 = -1 - 2 // c++ -12 // 10 = -2 + 8 # python 12 / -10 = -1 + 2 // c++ 12 // -10 = -2 - 8 # python 12 / 10 = 1 + 2 //both 12 // 10 = 1 + 2 -12 / -10 ...

 
 
2 hours later…
11:40 PM
3
Q: About isotopy and homotopy

T566y65ttIn the " A Primer on Mapping Class Groups Benson Farb and Dan Margalit" We have : Proposition 1.10 Let $\alpha$ and $\beta$ be two essential simple closed curves in a surface $S$. Then $\alpha$ is isotopic to $\beta$ if and only if $\alpha$ is homotopic to $\beta$. Proof. One direction is vacuous...

 

« first day (2564 days earlier)      last day (821 days later) »